vCar - Formal Verification of Collision Avoidance Systems for Road Vehicles

Research on planning and formal verification for a driving assistant system.

Details

• Institute: Robotics and Embedded Systems, Department of Informatics
• Professor: Prof. Matthias Althoff
• Funding Source: Deutsche Forschungsgemeinschaft
• Funding Period: 04/2014 - 03/2017