Search Results for author:
Found 2 papers, 0 papers with code
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time
The spread of autonomous systems into safety-critical areas has increased the demand for their formal verification, not only due to stronger certification requirements but also to public uncertainty over these new technologies.
Proceedings First Workshop on Formal Verification of Autonomous Vehicles
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).
Cannot find the paper you are looking for? You can
Submit a new open access paper.
