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
*the last paper of this session
November 19, 2025 at 10:44 AM
*the last paper of this session
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: cgi.cse.unsw.edu.au/~eptcs/paper...
EPTCS: Towards A Catalogue of Requirement Patterns for Space Robotic Missions
cgi.cse.unsw.edu.au
November 19, 2025 at 10:07 AM
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: cgi.cse.unsw.edu.au/~eptcs/paper...
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: cgi.cse.unsw.edu.au/~eptcs/paper...
EPTCS: Context-aware, Ante-hoc Explanations of Driving Behaviour
cgi.cse.unsw.edu.au
November 18, 2025 at 1:09 PM
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: cgi.cse.unsw.edu.au/~eptcs/paper...
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: cgi.cse.unsw.edu.au/~eptcs/paper...
EPTCS: Model Learning for Adjusting the Level of Automation in HCPS
cgi.cse.unsw.edu.au
November 18, 2025 at 12:40 PM
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: cgi.cse.unsw.edu.au/~eptcs/paper...
The paper "Analyzing many simulations of hybrid programs in Lince" by Reydel Arrieta Olano, José Proença, and Patrick Meumeu Yomsi is in the #FMAS2025 proceedings: cgi.cse.unsw.edu.au/~eptcs/paper...
EPTCS: Analyzing Many Simulations of Hybrid Programs in Lince
cgi.cse.unsw.edu.au
November 18, 2025 at 10:33 AM
The paper "Analyzing many simulations of hybrid programs in Lince" by Reydel Arrieta Olano, José Proença, and Patrick Meumeu Yomsi is in the #FMAS2025 proceedings: cgi.cse.unsw.edu.au/~eptcs/paper...