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

Publication
In Proceedings of the Second Workshop on Formal Methods for Autonomous Systems (FMAS 2020)