DeepAI AI Chat
Log In Sign Up

Proceedings First Workshop on Formal Verification of Autonomous Vehicles

by   Lukas Bulwahn, et al.

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.


SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles

This report summarizes the discussions, open issues, take-away messages,...

Proceedings First Workshop on Applicable Formal Methods

This volume contains the proceedings of the 1st International Workshop o...

Compositional Verification for Autonomous Systems with Deep Learning Components

As autonomy becomes prevalent in many applications, ranging from recomme...

Proceedings Third Workshop on Formal Methods for Autonomous Systems

Autonomous systems are highly complex and present unique challenges for ...

The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results

This report summarizes the 3rd International Verification of Neural Netw...

On Designing Computing Systems for Autonomous Vehicles: a PerceptIn Case Study

PerceptIn develops and commercializes autonomous vehicles for micromobil...