Can I read Proceedings First Workshop on Formal Verification of Autonomous Vehicles on EtoBox?

Proceedings First Workshop on Formal Verification of Autonomous Vehicles by Bulwahn, Lukas; Kamali, Maryam; Linker, Sven is a scholarly article available to read on EtoBox.

What is Proceedings First Workshop on Formal Verification of Autonomous Vehicles about?

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.

Author

Bulwahn, Lukas; Kamali, Maryam; Linker, Sven

Published

2017

Language

EN