FMAS

Keyphrases

Publications

2021

Angelo Ferrando, Rafael C. Cardoso
Towards Partial Monitoring: It is Always too Soon to Give Up. FMAS (2021)
Willem Hagemann
Towards a Formalisation of Justification and Justifiability. FMAS (2021)
Daumantas Pagojus, Alice Miller, Bernd Porr, Ivaylo Valkov
Simulation and Model Checking for Close to Realtime Overtaking Planning. FMAS (2021)
Siddhartha Bhattacharyya, Jennifer Davis, Anubhav Gupta, Nandith Narayan, Michael Matessa
Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study. FMAS (2021)
Maike Schwammberger, Gleifer Vaz Alves
Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules. FMAS (2021)
Mario Gleirscher, Jan Peleska
Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems. FMAS (2021)
Bjørnar Luteberget
Improving Online Railway Deadlock Detection using a Partial Order Reduction. FMAS (2021)
Kerstin I. Eder, Wen-ling Huang, Jan Peleska
Complete Agent-driven Model-based System Testing for Autonomous Systems. FMAS (2021)
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. FMAS (2021)
Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Alexander Schlaefer, Sibylle Schupp
Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles. FMAS (2021)
Muhammad Usman, Divya Gopinath, Corina S. Pasareanu
QuantifyML: How Good is my Machine Learning Model? FMAS (2021)
Saswata Paul, Stacy Patterson, Carlos A. Varela
Formal Guarantees of Timely Progress for Distributed Knowledge Propagation. FMAS (2021)

volume 348, 2021

Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, 21st-22nd of October 2021. FMAS 348 (2021)

2020

volume 329, 2020

Proceedings Second Workshop on Formal Methods for Autonomous Systems, FMAS 2020, Virtual, 7th of December 2020. FMAS 329 (2020)