And with that amazing session, it's time for us to bid farewell! 🙁
#FMAS2025 comes to an end!

Thank you to all the participants, attendees, the program committee, and the
chairs for making this event a success!

-- Organizing Committee

The paper "Towards A Catalogue of Formalised Requirement Patterns for Robotic Space Missions" by Mahdi Etumi, Hazel Taylor, and Marie Farrell is in the #FMAS2025 proceedings: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2025.12

Mahdi Etumi presents their paper (the best #FMAS2025 paper!) titled "Towards A Catalogue of Formalised Requirement Patterns for Robotic Space Missions".

We will be back after coffee for the final session of #FMAS2025!

This session will be chaired by our PC Chair, Maike Schwammberger, and it contains two #iFM papers and the best paper from #FMAS2025.

Did you ever wish to explore the use of Integrated Formal Methods for the Verification of Cyber-Physical and Autonomous Systems?
Prof. Paula Herber is giving the keynote talk on this right now! #FMAS2025 #iFM

If you can't attend the talk, it'll be recorded and uploaded online.

The last day of #FMAS2025 is about to start! It's a joint session with iFM.

Prof. Paula Herber is going to kick off iFM with her keynote talk about "Integrated Formal Methods for the Verification of Cyber-Physical and Autonomous Systems".

A very lively and enriching discussion session finally comes to an end, as well
as day 2 of #FMAS2025!

See you guys at the dinner!

#FMAS2025 Discussion sessions are underway!
Topics:
- Pros and Cons of AI-use in Scientific Publishing Processes
- Challenges and solutions of FMAS
- Ethical guidelines for AI usage

The paper "Context-aware, Ante-hoc Explanations of Driving Behaviour" by Dominik Grundt, Ishan Saxena, Malte Petersen, Bernd Westphal, and Eike Möhlmann is in the #FMAS2025 proceedings: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2025.11

The paper "Model Learning for Adjusting the Level of Automation in HCPS" by Mehrnoush Hajnorouzi, Astrid Rakow, and Martin Fränzle is in the #FMAS2025 proceedings: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2025.10

The paper "Analyzing many simulations of hybrid programs in Lince" by Reydel Arrieta Olano, @jproenca and Patrick Meumeu Yomsi is in the #FMAS2025 proceedings: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2025.9

The paper "Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems" by Angelo Ferrando is in the #FMAS2025 proceedings: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2025.8

The paper "Achieving Safe Control Online through Integration of Harmonic Control Lyapunov–Barrier Functions with Unsafe Object-Centric Action Policies" by Marlow Fawn and Matthias Scheutz is in the #FMAS2025 proceedings: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2025.7

And with that, we wrap up day 1 of #FMAS2025!

Thank you everyone for joining us today.

Tomorrow at 9:00 AM (CET), Prof. Dr. André Platzer will present a keynote on "Logic of Autonomous Dynamical Systems," exploring the logical specification and verification of Cyber-Physical Systems.

The paper "Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains" by Diana C. Benjumea, Marie Farrell, and Louise A. Dennis is in the #FMAS2025 proceedings: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2025.6

The paper "Mutation Testing for Industrial Robotic Systems" by Marcela Gonçalves dos Santos, Sylvain Hallé, and Fábio Petrillo is in the #FMAS2025 proceedings: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2025.5

You can find the paper Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions by Ishan Saxena, Bernd Westphal, and Martin Fränzle in the #FMAS2025 proceedings: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2025.3

This paper "Formal Verification of Local Robustness of a Classification Algorithm for a Spatial Use Case", by Delphine Longuet, Amira Elouazzani, Alejandro Penacho Riveiros, & Nicola Bastianello is in the #FMAS2025 proceedings: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2025.4

Maike Schwammberger is giving an overview of the program for #FMAS2025.

#FMAS2025 is starting soon!
Starting off with a welcome session by Maike Schwammberger, the PC Co-Chair, followed by two talks on Run-time Monitoring and Robustness of Cyber-Physical Systems.