Formal Methods for Autonomous Systems
@fmasworkshop.bsky.social
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Pinned
EPTCS 436: Formal Methods for Autonomous Systems
dx.doi.org
The proceedings for the Seventh International Workshop on
Formal Methods for Autonomous Systems have been published through EPTCS, so if you want to read the papers from #FMAS2025 you can find them all at: dx.doi.org/10.4204/EPTC...
#FormalMethods #AutonomousSystems
#Autonomy
#AcademicSky
Formal Methods for Autonomous Systems have been published through EPTCS, so if you want to read the papers from #FMAS2025 you can find them all at: dx.doi.org/10.4204/EPTC...
#FormalMethods #AutonomousSystems
#Autonomy
#AcademicSky
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
#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
November 19, 2025 at 11:07 AM
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
#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 of this session, "The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification", is an #iFM paper and is being presented by @determineddust.bsky.social
November 19, 2025 at 10:39 AM
The paper of this session, "The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification", is an #iFM paper and is being presented by @determineddust.bsky.social
Mahdi Etumi presents their paper (the best #FMAS2025 paper!) titled "Towards A Catalogue of Formalised Requirement Patterns for Robotic Space Missions".
November 19, 2025 at 10:03 AM
Mahdi Etumi presents their paper (the best #FMAS2025 paper!) titled "Towards A Catalogue of Formalised Requirement Patterns for Robotic Space Missions".
Reposted by Formal Methods for Autonomous Systems
General chair @caterinaurban.bsky.social opening #ifm25 at Inria Paris with PC chairs Ferruccio Damiani and Marie Farrell. 1/2
November 19, 2025 at 7:58 AM
General chair @caterinaurban.bsky.social opening #ifm25 at Inria Paris with PC chairs Ferruccio Damiani and Marie Farrell. 1/2
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.
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.
November 19, 2025 at 8:11 AM
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".
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".
November 19, 2025 at 7:53 AM
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".
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".
#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
Topics:
- Pros and Cons of AI-use in Scientific Publishing Processes
- Challenges and solutions of FMAS
- Ethical guidelines for AI usage
November 18, 2025 at 3:09 PM
#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
Topics:
- Pros and Cons of AI-use in Scientific Publishing Processes
- Challenges and solutions of FMAS
- Ethical guidelines for AI usage
Aaaand the winner is...
"Towards A Catalogue of Formalised Requirement Patterns for Robotic Space Missions" by Mahdi Etumi, Hazel Taylor, and Marie Farrell
Mahdi will present the paper tomorrow during the joint session with iFM.
"Towards A Catalogue of Formalised Requirement Patterns for Robotic Space Missions" by Mahdi Etumi, Hazel Taylor, and Marie Farrell
Mahdi will present the paper tomorrow during the joint session with iFM.
November 18, 2025 at 2:47 PM
Aaaand the winner is...
"Towards A Catalogue of Formalised Requirement Patterns for Robotic Space Missions" by Mahdi Etumi, Hazel Taylor, and Marie Farrell
Mahdi will present the paper tomorrow during the joint session with iFM.
"Towards A Catalogue of Formalised Requirement Patterns for Robotic Space Missions" by Mahdi Etumi, Hazel Taylor, and Marie Farrell
Mahdi will present the paper tomorrow during the joint session with iFM.
Continuing the tradition (started last year), our PC Chair, Maike Schwammberger, introduces the best paper award..
Can you guys guess who it is??
Can you guys guess who it is??
November 18, 2025 at 2:39 PM
Continuing the tradition (started last year), our PC Chair, Maike Schwammberger, introduces the best paper award..
Can you guys guess who it is??
Can you guys guess who it is??
Is one coffee ever enough?
We'll be back at 15:30 (CET) and continue with our breakout session!
We'll be back at 15:30 (CET) and continue with our breakout session!
November 18, 2025 at 2:00 PM
Is one coffee ever enough?
We'll be back at 15:30 (CET) and continue with our breakout session!
We'll be back at 15:30 (CET) and continue with our breakout session!
The last paper for the session (and the day), "Context-aware, Ante-hoc Explanations of Driving Behaviour" is presented by Dominik Grundt.
November 18, 2025 at 1:09 PM
The last paper for the session (and the day), "Context-aware, Ante-hoc Explanations of Driving Behaviour" is presented by Dominik Grundt.
Mehrnoush Hajnorouzi presenting their work on "Model Learning for Adjusting the Level of Automation in HCPS".
November 18, 2025 at 12:39 PM
Mehrnoush Hajnorouzi presenting their work on "Model Learning for Adjusting the Level of Automation in HCPS".
The next session, with two full paper presentations, on Formally Modelling of Human Factors, is starting soon!
Session chair: Mario Gleirscher.
Session chair: Mario Gleirscher.
November 18, 2025 at 12:28 PM
The next session, with two full paper presentations, on Formally Modelling of Human Factors, is starting soon!
Session chair: Mario Gleirscher.
Session chair: Mario Gleirscher.
Reposted by Formal Methods for Autonomous Systems
The proceedings for the Seventh International Workshop on
Formal Methods for Autonomous Systems have been published through EPTCS, so if you want to read the papers from #FMAS2025 you can find them all at: dx.doi.org/10.4204/EPTC...
#FormalMethods #AutonomousSystems
#Autonomy
#AcademicSky
Formal Methods for Autonomous Systems have been published through EPTCS, so if you want to read the papers from #FMAS2025 you can find them all at: dx.doi.org/10.4204/EPTC...
#FormalMethods #AutonomousSystems
#Autonomy
#AcademicSky
EPTCS 436: Formal Methods for Autonomous Systems
dx.doi.org
November 17, 2025 at 2:38 PM
The proceedings for the Seventh International Workshop on
Formal Methods for Autonomous Systems have been published through EPTCS, so if you want to read the papers from #FMAS2025 you can find them all at: dx.doi.org/10.4204/EPTC...
#FormalMethods #AutonomousSystems
#Autonomy
#AcademicSky
Formal Methods for Autonomous Systems have been published through EPTCS, so if you want to read the papers from #FMAS2025 you can find them all at: dx.doi.org/10.4204/EPTC...
#FormalMethods #AutonomousSystems
#Autonomy
#AcademicSky
We'll be back after lunch at 13:30 (CET).
November 18, 2025 at 11:01 AM
We'll be back after lunch at 13:30 (CET).
The last paper for this session, "Analyzing many simulations of hybrid programs in Lince", is being presented by José Proença.
November 18, 2025 at 10:30 AM
The last paper for this session, "Analyzing many simulations of hybrid programs in Lince", is being presented by José Proença.
Angelo Ferrando is presenting his vision paper titled "Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems".
November 18, 2025 at 10:03 AM
Angelo Ferrando is presenting his vision paper titled "Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems".
First paper presentation for the day titled "Achieving Safe Control Online through Integration of Harmonic Control Lyapunov–Barrier Functions with Unsafe Object-Centric Action Policies" is being presented by Marlow Fawn.
November 18, 2025 at 9:36 AM
First paper presentation for the day titled "Achieving Safe Control Online through Integration of Harmonic Control Lyapunov–Barrier Functions with Unsafe Object-Centric Action Policies" is being presented by Marlow Fawn.
Session 3, chaired by Silvia Lizeth Tapia Tarifa, is about to start soon and will focus on Formal Verification of Cyber-Physical Systems.
This session has one full paper presentation and two short paper presentations.
This session has one full paper presentation and two short paper presentations.
November 18, 2025 at 9:15 AM
Session 3, chaired by Silvia Lizeth Tapia Tarifa, is about to start soon and will focus on Formal Verification of Cyber-Physical Systems.
This session has one full paper presentation and two short paper presentations.
This session has one full paper presentation and two short paper presentations.
After that enlightening talk by Prof. Dr. André Platzer, we're off to put some coffee in our system and reflect!
If you missed the invited talk, don't worry; it'll be uploaded to YouTube at a later point in time.
We'll be back at 10:30 (CET).
If you missed the invited talk, don't worry; it'll be uploaded to YouTube at a later point in time.
We'll be back at 10:30 (CET).
November 18, 2025 at 9:01 AM
After that enlightening talk by Prof. Dr. André Platzer, we're off to put some coffee in our system and reflect!
If you missed the invited talk, don't worry; it'll be uploaded to YouTube at a later point in time.
We'll be back at 10:30 (CET).
If you missed the invited talk, don't worry; it'll be uploaded to YouTube at a later point in time.
We'll be back at 10:30 (CET).
The keynote talk by Prof. Dr. André Platzer has started!
Title: Logic of Autonomous Dynamical Systems
If you are unable to attend, the talk will be recorded and uploaded to YouTube later.
Title: Logic of Autonomous Dynamical Systems
If you are unable to attend, the talk will be recorded and uploaded to YouTube later.
November 18, 2025 at 8:10 AM
The keynote talk by Prof. Dr. André Platzer has started!
Title: Logic of Autonomous Dynamical Systems
If you are unable to attend, the talk will be recorded and uploaded to YouTube later.
Title: Logic of Autonomous Dynamical Systems
If you are unable to attend, the talk will be recorded and uploaded to YouTube later.