default search action

combined dblp search
author search
venue search
publication search

ask others

6th FMAS@iFM 2024: Manchester, UK

> Home > Conferences and Workshops > FMAS
> Home > Conferences and Workshops > iFM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-13215
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-13215
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
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-14168
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-14168
Richard Banach:
Autonomous System Safety Properties with Multi-Machine Hybrid Event-B. 1-19
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-14365
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-14365
Pedro Mendes, Ricardo Correia, Renato Neves, José Proença:
Formal Simulation and Visualisation of Hybrid Programs. 20-37
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-14367
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-14367
Maryam Ghaffari Saadat, Angelo Ferrando, Louise A. Dennis, Michael Fisher:
ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics. 38-55
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-14162
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-14162
Serena Serafina Serbinowska, Nicholas Potteiger, Anne M. Tumlin, Taylor T. Johnson:
Verification of Behavior Trees with Contingency Monitors. 56-72
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-14368
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-14368
Andrea Gatti, Viviana Mascardi, Angelo Ferrando:
RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep? 73-90
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-14369
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-14369
Yvonne Murray, Henrik Nordlie, David A. Anisi, Pedro Ribeiro, Ana Cavalcanti:
Model Checking and Verification of Synchronisation Properties of Cobot Welding. 91-108
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-14371
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-14371
Till Schnittka, Mario Gleirscher:
Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study. 109-125
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-14372
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-14372
Grégoire Boussu, Nikolai Kosmatov, Franck Védrine:
A Case Study on Numerical Analysis of a Path Computation Algorithm. 126-142
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-14373
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-14373
Sylvain Raïs, Julien Brunel, David Doose, Frédéric Herbreteau:
Cross-layer Formal Verification of Robotic Systems. 143-150
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-14374
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-14374
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
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-14375
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-14375
Rong Gu:
Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think! 160-177
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-14163
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-14163
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
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-14520
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-14520
Paolo Burgio, Angelo Ferrando, Marco Villani:
Open Challenges in the Formal Verification of Autonomous Driving. 191-200
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-14165
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-14165
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.