Photo by Jose Zuniga on Unsplash

FMAS 2023 Workshop

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.


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