FMAS/ASYDE@SEFM

Keyphrases

Publications

2022

Yi Yang, Tom Holvoet
Generating Safe Autonomous Decision-Making in ROS. FMAS/ASYDE@SEFM (2022)
Matteo Tadiello, Elena Troubitsyna
Verifying Safety of Behaviour Trees in Event-B. FMAS/ASYDE@SEFM (2022)
Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols. FMAS/ASYDE@SEFM (2022)
Joe Collenette, Louise A. Dennis, Michael Fisher
Advising Autonomous Cars about the Rules of the Road. FMAS/ASYDE@SEFM (2022)
Maike Schwammberger, Verena Klös
From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata. FMAS/ASYDE@SEFM (2022)
Jordan Hamilton, Ioannis Stefanakos, Radu Calinescu, Javier Cámara
Towards Adaptive Planning of Assistive-care Robot Tasks. FMAS/ASYDE@SEFM (2022)
Gricel Vázquez, Radu Calinescu, Javier Cámara
Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems. FMAS/ASYDE@SEFM (2022)
Dominik Grundt, Anna Köhne, Ishan Saxena, Ralf Stemmer, Bernd Westphal, Eike Möhlmann
Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions. FMAS/ASYDE@SEFM (2022)
Rafael C. Cardoso, Angelo Ferrando, Michael Fisher
Extending Attack-Fault Trees with Runtime Verification. FMAS/ASYDE@SEFM (2022)
Predrag Filipovikj, Gustav Ung, Dilian Gurov, Mattias Nyberg
Bounded Invariant Checking for Stateflow. FMAS/ASYDE@SEFM (2022)
Astrid Rakow
A Doxastic Characterisation of Autonomous Decisive Systems. FMAS/ASYDE@SEFM (2022)
Surya Murthy, Natasha A. Neogi, Suda Bharadwaj
Scheduling for Urban Air Mobility using Safe Learning. FMAS/ASYDE@SEFM (2022)
Baptiste Pelletier, Charles Lesire, David Doose, Karen Godary-Dejean, Charles Dramé-Maigné
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems. FMAS/ASYDE@SEFM (2022)
Gleifer Vaz Alves, Maike Schwammberger
Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata. FMAS/ASYDE@SEFM (2022)
Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alexander Will, Patrick J. Martin
Monitoring ROS2: from Requirements to Autonomous Robots. FMAS/ASYDE@SEFM (2022)

volume 371, 2022

Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022. FMAS/ASYDE@SEFM 371 (2022)