ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics / Ghaffari Saadat, M., Ferrando, A., Dennis, L.A., Fisher, M.. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - 411:411(2024), pp. 38-55. (6th International Workshop on Formal Methods for Autonomous Systems, FMAS 2024 Manchester, eng 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
WOS:001376926700004
2-s2.0-85211955303
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, M., Ferrando, A., Dennis, L.A., Fisher, M.. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - 411:411(2024), pp. 38-55. (6th International Workshop on Formal Methods for Autonomous Systems, FMAS 2024 Manchester, eng 11/11/2024 - 13/11/2024) [10.4204/EPTCS.411.3].
File in questo prodotto:
File Dimensione Formato  
2411.14367v1.pdf

Open access

Tipologia: VOR - Versione pubblicata dall'editore
Licenza: [IR] creative-commons
Dimensione 378.83 kB
Formato Adobe PDF
Visualizza/Apri
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??? 1
social impact