International Symposium on the Verification of Autonomous Mobile Systems (VAMS), at Institut Mines-Télécom, on 9-10 March, 2023.



The aim is to facilitate the transfer of knowledge and experience between academia, regulators, and industry concerning the Verification of Autonomous Mobile Systems operating over large outdoor spaces, and to work towards a report aimed at the diverse organisations involved in the use of Autonomous Systems across air, land, and sea applications, particularly those that are safety-critical.


9 March

Abstracts of the talks

9:00 am | Welcome and Introduction

9:10 am | Session 1
Plenary 1: Autonomous Mobility – Joseph Sifakis (Université Grenoble Alpes, FR) Rigorous modeling and validation of autonomous driving systems

  • Talk 1 : Christian Schindler (Aachen University, DE) The Aachen Rail Shuttle (ARS) – Development of Rural Areas with Driverless Rail Buses
  • Talk 2 : Charles Lesire (Office National d’Etudes et de Recherche Aérospatiales, FR) Skill-based design of dependable autonomous robot architectures

10:45 am | Break

11:00 am | Session 2
Plenary 2 : Safety – Antoine Rauzy (Norwegian University of Science and Technology, NO) Assessing safety and security of autonomous mobile systems: Are we ready?

  • Talk 3 : Ruth Taylor (Marine & Coastguard Agency, UK) Assessing safety and security of autonomous mobile systems: Are we ready?
  • Talk 4 : Vaibhav Puri (Rail Safety & Standards Boards, UK) Risk-driven approaches to the design of safe learning-enabled systems

1:00 pm | Lunch

2:00 pm | Session 3
Plenary 3 : Industry – Emmanuel Arbaretier (Airbus Protect, FR) IVVQ for autonomous systems : what are the main 5 pillars of this multi disciplinary challenge ?

  • Talk 5 : Ansgar Radermacher (CEA) Model-driven development of safe autonomous systems.
  • Talk 6 : Jean Daniel Sülberg (German Aerospace Center, DE) Testing and Verification of Innovative (Air) Mobility technologies: How can test centers facilitate development and certification?
  • Posters presentations (25 minutes)

3:35 pm | Break

3:50 pm | Working groups – “What are the key issues?”

5:10 pm | Report Back

5:30 pm | Closing

Buffet dinner

10 March

 Abstracts of the talks

9:00 am | Session 4
Plenary 4 : Verifications – Louise Dennis (University of Manchester, UK) Verifying Mission Level Decision-Making

  • Talk 7 : Justin Dauwels (Technische Universiteit Delft, NL)Perception error modelling for autonomous driving
  • Talk 8 : Simon Rößner (TÜV Süd Auto-Service GmbH, DE) Challenges and Status of International and European Standardization to Support the Application of AI-Techniques in Systems with Autonomous Capabilities

10:35 am | Break

10:50 am | Session 5
Plenary 5 : Testing – Andrea Leitner (AVL, AT) Data-driven development and validation of automated vehicles

  • Talk 9 : Xiaowei Huang (University of Liverpool, UK) Algorithmic Perspectives on Certification of Machine Learning

12:00 pm | Lunch

1:00 pm | Session 6
Plenary 6 : Bruno Monsuez (ENSTA Paris, FR) What if « Verification of Autonomous Decision Software » is not decidable ?

  • Talk 10 : Subramanian Ramamoorthy (University of Edinburgh, UK) Risk-driven approaches to the design of safe learning-enabled systems

2:10 pm | Break

3:00 pm | Working groups “What are the solutions ? What are the priorities ?”

4:30 pm | Report back and next steps

5:00 pm | Closing


Co-Chairs :

  • Michael Fisher (University of Manchester)
  • Javier Ibanez-Guzman (Renault Group)
  • Abdelkrim Doufene (IRT SystemX)

Organising Committee :

  • Signe Redfield (US Naval Research Laboratory)
  • Dejanira Araiza-Illan (Johnson & Johnson Ltd)
  • Michel Batteux (IRT SystemX)
  • Karla Quintero (IRT SystemX)
  • Ana Isabel Garcia Guerra (Nanyang Technological University, NTU)
  • Mohamed Tlig (IRT SystemX)





Inscrivez-vous à la newsletter de l'IRT SystemX

 et recevez chaque mois les dernières actualités de l'institut :