Published December 14, 2022
| Version v1
Software
Open
Successful Swarms: Operator Situational Awareness via Runtime Formal Methods
Creators
- 1. University of Glasgow
- 2. University of Southampton
Description
This is the supplementary material for ROMAN 2023 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
Files
IEEE RAL.zip
Files
(42.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:e355ab86ffd74630972fcd50c4cad11d
|
42.8 kB | Preview Download |