Proceedings First Workshop on Formal Verification of Autonomous Vehicles

TL;DR

This workshop proceedings compiles research on formal verification methods applied to autonomous vehicles, aiming to bridge formal methods, control theory, and robotics for safer autonomous systems.

Contribution

It brings together interdisciplinary research efforts to advance formal verification techniques specifically tailored for autonomous vehicle development.

Findings

Integration of formal methods into autonomous vehicle design processes

Identification of verification challenges in autonomous systems

Proposals for new verification frameworks for autonomous vehicles

Abstract

These are the proceedings of the workshop on Formal Verification of Autonomous Vehicles, held on September 19th, 2017 in Turin, Italy, as an affiliated workshop of the International Conference on integrated Formal Methods (iFM 2017). The workshop aim is to bring together researchers from the formal verification community that are developing formal methods for autonomous vehicles as well as researchers working, e.g., in the area of control theory or robotics, interested in applying verification techniques for designing and developing of autonomous vehicles.