The University of Southampton
×
Filter your search:
University of Southampton Institutional Repository

Successful Swarms: Operator Situational Awareness via Runtime Formal Methods

Successful Swarms: Operator Situational Awareness via Runtime Formal Methods
Successful Swarms: Operator Situational Awareness via Runtime Formal Methods
This is the supplementary material for IEEE RA-L submission. For more details, please refer to Readme.txt. If you have problems or questions, please contact: Yue Gu (yue.gu@glasgow.ac.uk) School of Computing Science University of Glasgow Glasgow G12 8QQ UK
Zenodo
Sevegnani, Michele
f29f5049-e7a3-4086-b624-104ac94195b4
Hunt, William
eec4ba79-8870-4657-a2ea-25511ae9dbaa
Archibald, Blair
68d001d1-5df4-414d-96ef-b2f45080b4e8
Xu, Mengwei
5ef31fce-50ed-4709-8523-8b4a90020c43
Divband Soorati, Mohammad
35fe6bbb-ce52-4c21-a46e-9bb0e31d246c
Gu, Yue
6aba26f7-9803-4024-a4c4-82c7dfa36baf
Sevegnani, Michele
f29f5049-e7a3-4086-b624-104ac94195b4
Hunt, William
eec4ba79-8870-4657-a2ea-25511ae9dbaa
Archibald, Blair
68d001d1-5df4-414d-96ef-b2f45080b4e8
Xu, Mengwei
5ef31fce-50ed-4709-8523-8b4a90020c43
Divband Soorati, Mohammad
35fe6bbb-ce52-4c21-a46e-9bb0e31d246c
Gu, Yue
6aba26f7-9803-4024-a4c4-82c7dfa36baf

(2022) Successful Swarms: Operator Situational Awareness via Runtime Formal Methods. Zenodo doi:10.5281/zenodo.7435097 [Dataset]

Record type: Dataset

Abstract

This is the supplementary material for IEEE RA-L submission. For more details, please refer to Readme.txt. If you have problems or questions, please contact: Yue Gu (yue.gu@glasgow.ac.uk) School of Computing Science University of Glasgow Glasgow G12 8QQ UK

This record has no associated files available for download.

More information

Published date: 14 December 2022
Related URLs:
Learn more about School of Electronics and Computer Science research Learn more about Agents, Interactions and Complexity research

Identifiers

Local EPrints ID: 473252
URI: http://eprints.soton.ac.uk/id/eprint/473252
DOI: doi:10.5281/zenodo.7435097
PURE UUID: 4fe23b4e-5178-4583-bb76-606de6835ccf
ORCID for Mohammad Divband Soorati: ORCID iD orcid.org/0000-0001-6954-1284

Catalogue record

Date deposited: 12 Jan 2023 18:25
Last modified: 06 May 2023 02:00

Export record

Altmetrics

Contributors

Contributor: Michele Sevegnani
Contributor: William Hunt
Contributor: Blair Archibald
Contributor: Mengwei Xu
Contributor: Mohammad Divband Soorati ORCID iD
Contributor: Yue Gu

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Library staff additional information
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×