From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project

Dec 17, 2020·
Aaron Dutle
,
César A. Muñoz
,
Esther Conrad
,
Alwyn Goodloe
,
Laura Titolo
,
Ivan Perez
,
Swee Balachandran
,
Dimitra Giannakopoulou
,
Anastasia Mavridou
,
And Thomas Pressburger
· 0 min read
Type
Publication
In Proceedings of the Second Workshop on Formal Methods for Autonomous Systems (FMAS 2020)