FMAS 2021 will run over the 21st and 22nd of October 2021 and will be a virtual event, due to the ongoing COVID-19 pandemic.

For the full list of accepted papers and the draft schedule, please see our website: https://fmasworkshop.github.io/FMAS2021

Scope

Autonomous - and Robotic - Systems present unique challenges for formal methods. The goals of this workshop are to bring together leading researchers in autonomy and formal methods to present recent and ongoing work, including experience reports and case studies as well as identify future directions for this emerging application of formal methods.

This workshop is concerned with the use of formal methods to specify, model, or verify autonomous or robotic systems, in whole or in part. Submissions may focus on case studies that identify the challenges for formal methods in this area, or experience reports that provide guidelines for tackling these challenges.

Schedule

(All times are IST)

Day One: 21st of October 2021

13:00 - 13:30 : Welcome and Introduction

13:30 - 14:30 : Invited Talk: Clare Dixon - Help or Hazard: Towards Verifying Autonomous Robot Systems

14:30 - 15:00 : BREAK

15:00 - 15:30 : Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules - Maike Schwammberger and Gleifer Alves

15:30 - 16:00 : Simulation and Model checking for real-time overtaking planning - Daumantas Pagojus, Alice Miller, Bernd Porr and Ivaylo Valkov

16:00 - 16:30 : Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems - Mario Gleirscher and Jan Peleska

16:30 - 17:00 : BREAK

17:00 - 17:30 : Complete Agent-driven Model-based System Testing for Autonomous Systems - Jan Peleska, Kerstin Eder and Wen-Ling Huang

17:30 - 18:00 : Formal Guarantees of Timely Progress for Distributed Knowledge Propagation - Saswata Paul, Stacy Patterson and Carlos A. Varela

18:00 - 18:30 : QuantifyML: How good is my machine learning model? - Muhammad Usman, Divya Gopinath and Corina S. Pasareanu

1110.0 : Day One Close

Day Two: 22nd of October 2021

13:00 - 13:30 : Welcome and Introduction

13:30 - 14:00 : Towards Partial Monitoring: It is Always too Soon to Give Up - Angelo Ferrando and Rafael C. Cardoso

14:00 - 14:30 : Improving Online Railway Deadlock Detection using a Partial Order Reduction - Bjørnar Luteberget

14:30 - 15:00 : Strategy Synthesis for Safe and Optimized Online Control of Steerable Needles - Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Alexander Schlaefer and Sibylle Schupp

15:00 - 15:30 : BREAK

15:30 - 16:00 : Towards a formalization of justification and justifiability - Willem Hagemann

16:00 - 16:30 : Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study - Siddhartha Bhattacharyya, Jennifer Davis, Anubhav Gupta, Nandith Narayan and Michael Matessa

16:30 - 17:00 : Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming - Blair Archibald, Muffy Calder, Michele Sevegnani and Mengwei Xu

17:00 - 17:30 : BREAK

17:30 - 18:30 : Invited Talk: Divya Gopinath - Understanding and Verifying Deep Neural Networks

18:30 : Day Two Close