DeepAI AI Chat
Log In Sign Up

Proceedings First Workshop on Formal Verification of Autonomous Vehicles

09/07/2017
by   Lukas Bulwahn, et al.
0

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.

READ FULL TEXT
11/05/2018

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

This report summarizes the discussions, open issues, take-away messages,...
11/15/2021

Proceedings First Workshop on Applicable Formal Methods

This volume contains the proceedings of the 1st International Workshop o...
10/18/2018

Compositional Verification for Autonomous Systems with Deep Learning Components

As autonomy becomes prevalent in many applications, ranging from recomme...
10/22/2021

Proceedings Third Workshop on Formal Methods for Autonomous Systems

Autonomous systems are highly complex and present unique challenges for ...
12/20/2022

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

This report summarizes the 3rd International Verification of Neural Netw...
11/12/2020

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

PerceptIn develops and commercializes autonomous vehicles for micromobil...