7th FMAS@iFM 2025: Paris, France

> 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-2511-13245
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-13245
Matt Luckcuck, Maike Schwammberger, Mengwei Xu:
Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2025, Paris, 17th to 19th of November 2025. EPTCS 436, 2025
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2511-14430
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-14430
Ishan Saxena, Bernd Westphal, Martin Fränzle:
Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions. 3-14
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-03948
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-03948
Delphine Longuet, Amira Elouazzani, Alejandro Penacho Riveiros, Nicola Bastianello:
Formal Verification of Local Robustness of a Classification Algorithm for a Spatial Use Case. 15-30
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2511-14432
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-14432
Marcela G. dos Santos, Sylvain Hallé, Fábio Petrillo:
Mutation Testing for Industrial Robotic Systems. 31-47
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2511-14433
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-14433
Diana C. Benjumea, Marie Farrell, Louise A. Dennis:
Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains. 48-68
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2511-14434
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-14434
Marlow Fawn, Matthias Scheutz:
Achieving Safe Control Online through Integration of Harmonic Control Lyapunov-Barrier Functions with Unsafe Object-Centric Action Policies. 69-79
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2511-14435
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-14435
Angelo Ferrando:
Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems. 80-87
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2511-14436
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-14436
Reydel Arrieta, José Proença, Patrick Meumeu Yomsi:
Analyzing Many Simulations of Hybrid Programs in Lince. 88-95
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2511-14437
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-14437
Mehrnoush Hajnorouzi, Astrid Rakow, Martin Fränzle:
Model Learning for Adjusting the Level of Automation in HCPS. 96-113
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2511-14428
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-14428
Dominik Grundt, Ishan Saxena, Malte Petersen, Bernd Westphal, Eike Möhlmann:
Context-aware, Ante-hoc Explanations of Driving Behaviour. 114-135
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2511-14438
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2511-14438
Mahdi Etumi, Hazel M. Taylor, Marie Farrell:
Towards A Catalogue of Requirement Patterns for Space Robotic Missions. 136-166

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.