research
∙
04/18/2018
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time
The spread of autonomous systems into safety-critical areas has increase...
share
research
∙
09/07/2017
Proceedings First Workshop on Formal Verification of Autonomous Vehicles
These are the proceedings of the workshop on Formal Verification of Auto...
research
∙
02/04/2016
