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

2024
6th International Workshop on Formal Methods for Autonomous Systems, FMAS 2024
Manchester, eng
11/11/2024 - 13/11/2024
411
38
55
Ghaffari Saadat, Maryam; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael
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].
File in questo prodotto:
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

Licenza Creative Commons
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1364033
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact