The Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023) is a two-day peer-reviewed international workshop co-located at the 18th International Conference on integrated Formal Methods (iFM), which will take place on the 15th and 16th of November 2023 in Leiden, The Netherland.
Scope
Bring together researchers working on a range of techniques for the formal verification of autonomous systems, to present recent work in the area, discuss key challenges, and stimulate collaboration between autonomous systems and formal methods researchers.
FMAS 2023 Workshop Program
Wednesday 15 November 2023 – morning (Expo 1 room, Scheltema Leiden)
| 8:30 – 9:00 |
Registration |
| 9:00 – 9:30 |
Welcome and Introduction: FMAS Now & Then |
| 9:30 – 10:00 |
Session 1: Trust and Information Flow (chair: Alice Miller)
- What to tell when? -- Information Provision as a Game (short)
Astrid Rakow, Akhila Bairy, and Mehrnoush Hajnorouzi
- Trust Modelling and Verification Using Event-B (short)
Asieh Salehi Fathabadi and Vahid Yazdanpanah
|
| 10:00 – 10:30 |
Coffee/Tea break |
| 10:30 – 11:45 |
Session 2: Verification and Assurance of Neural Networks (chair: t.b.a.)
- FComparing Differentiable Logics for Learning Systems: A Research Preview (short)
Thomas Flinkow, Barak A. Pearlmutter, and Rosemary Monahan
- Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions
László Antal, Hana Masara, and Erika Ábrahám
- Certified Control for Train Sign Classification (short)
Jan Roßbach and Michael Leuschel
- 3vLTL: a Tool to Generate Automata for Three-valued LTL (short)
Francesco Belardinelli, Angelo Ferrando, and Vadim Malvone
|
| 12:00 – 14:00 |
Lunch break |
Wednesday 15 November 2023 – afternoon (Theater room, Scheltema Leiden)
| 14:00 – 15:00 |
Joint iFM/FMAS keynote presentation (chair: Paula Herber)
|
| 15:00 – 15:30 |
Coffee/Tea break |
| 15:30 – 17:00 |
Joint iFM/FMAS Session: Autonomous Systems (chair: Marie Farrell)
- A Formal Modelling and Analysis of a Self-Adaptive Robotic System (iFM 2023 paper)
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa and Einar Broch Johnsen
- CAN-verify: Verification Tool for BDI Agents (iFM 2023 paper)
Mengwei Xu, Thibault Rivoalen, Blair Archibald and Michele Sevegnani
- Model checking for Robot Reactive Planning
Christopher Chandler, Bernd Porr, Alice Miller, and Giulia Lafratta
|
| 18:30 – 22:00 |
FMAS workshop social dinner |
Thursday 16 November 2023 – morning (Expo 2 room, Scheltema Leiden)
| 9:00 – 10:00 |
Invited talk (chair: Matt Luckcuck)
|
| 10:00 – 10:30 |
Coffee/Tea break |
| 10:30 – 12:00 |
Session 3: Verified Intelligent Transportation (chair: Mario Gleirscher)
- Online Reachability Analysis and Space Convexification for Autonomous Racing
Sergiy Bogomolov, Taylor T Johnson, Diego Manzanas, Patrick Musau, and Paulius Stankaitis
- Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems
Srajan Goyal, Alberto Griggio, Jacob Kimblad, and Stefano Tonetta
- Enforcing Timing Properties in Motorway Traffic
Christopher Bischopink
|
| 12:00 – 14:00 |
Lunch break |
Thursday 16 November 2023 – afternoon (Expo 2 room, Scheltema Leiden)
| 14:00 – 15:00 |
Session 4: Formal Assurance across the Control Loop (chair: Stefano Tonetta)
- Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions (short)
Thom Badings, Licio Romao, Alessandro Abate, and Nils Jansen
- Towards Formal Fault Injection for Safety Assessment of Automated Systems (short)
Ashfaq Farooqui and Behrooz Sangchoolie
- Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach
Neelanjana Pal and Taylor T. Johnson
|
| 15:00 – 15:30 |
Coffee/Tea break |
| 15:30 – 16:30 |
Session 5: Runtime verification (chair: Maike Schwammberger)
- Towards proved formal specification and verification of STL operators as synchronous observers
Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel, and Célia Picard
- Runtime Verification of Learning Properties for Reinforcement Learning Algorithms
Tommaso Mannucci and Julio de Oliveira Filho
|
| 16:30 – 16:45 |
Closing |
More information
More information about this and previous editions of FMAS, including proceedings and updated program, is available at
https://fmasworkshop.github.io/FMAS2023/.