ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics / Ghaffari Saadat, Maryam; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - 411:411(2024), pp. 38-55. (Intervento presentato al convegno 6th International Workshop on Formal Methods for Autonomous Systems, FMAS 2024 tenutosi a Manchester, eng nel 11/11/2024 - 13/11/2024) [10.4204/EPTCS.411.3].
ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
Angelo Ferrando;
2024
File | Dimensione | Formato | |
---|---|---|---|
2411.14367v1.pdf
Open access
Tipologia:
AAM - Versione dell'autore revisionata e accettata per la pubblicazione
Dimensione
378.83 kB
Formato
Adobe PDF
|
378.83 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris