


default search action
6th FMAS@iFM 2024: Manchester, UK
- Matt Luckcuck, Mengwei Xu:

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November 2024. EPTCS 411, 2024 - Richard Banach:

Autonomous System Safety Properties with Multi-Machine Hybrid Event-B. 1-19 - Pedro Mendes, Ricardo Correia, Renato Neves, José Proença:

Formal Simulation and Visualisation of Hybrid Programs. 20-37 - Maryam Ghaffari Saadat, Angelo Ferrando, Louise A. Dennis, Michael Fisher:

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics. 38-55 - Serena Serafina Serbinowska, Nicholas Potteiger, Anne M. Tumlin, Taylor T. Johnson:

Verification of Behavior Trees with Contingency Monitors. 56-72 - Andrea Gatti, Viviana Mascardi, Angelo Ferrando:

RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep? 73-90 - Yvonne Murray, Henrik Nordlie, David A. Anisi

, Pedro Ribeiro, Ana Cavalcanti:
Model Checking and Verification of Synchronisation Properties of Cobot Welding. 91-108 - Till Schnittka, Mario Gleirscher:

Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study. 109-125 - Grégoire Boussu, Nikolai Kosmatov, Franck Védrine:

A Case Study on Numerical Analysis of a Path Computation Algorithm. 126-142 - Sylvain Raïs, Julien Brunel, David Doose, Frédéric Herbreteau:

Cross-layer Formal Verification of Robotic Systems. 143-150 - Jan Gruteser, Jan Roßbach, Fabian Vu, Michael Leuschel:

Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems. 151-159 - Rong Gu:

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! 160-177 - Syed Ali Asadullah Bukhari

, Thomas Flinkow
, Medet Inkarbekov, Barak A. Pearlmutter
, Rosemary Monahan
:
Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report. 178-190 - Paolo Burgio, Angelo Ferrando, Marco Villani:

Open Challenges in the Formal Verification of Autonomous Driving. 191-200 - Serena Serafina Serbinowska, Preston Robinette, Gabor Karsai, Taylor T. Johnson:

Formalizing Stateful Behavior Trees. 201-218

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














