default search action
2nd FMAS 2020
- Matt Luckcuck, Marie Farrell:
Proceedings Second Workshop on Formal Methods for Autonomous Systems, FMAS 2020, Virtual, December 7, 2020. EPTCS 329, 2020 - Mehrnoosh Askarpour:
How to Formally Model Human in Collaborative Robotics. 1-14 - Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck:
Towards Compositional Verification for Modular Robotic Systems. 15-22 - Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger:
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. 23-30 - Mario Gleirscher:
YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments. 31-47 - Fatma Kachi, Chafia Bouanaka, Souheir Merkouche:
A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems. 48-64
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.