David Vogelbacher
- KIT
- Exchange at: CMU
- Advisor: @KIT: Prof. Beckert, @CMU: Prof. Platzer
- Type of work: Bachelor Thesis
- Topic of work: Formal Verification of Collision Avoidance for Controllers of Robotic Ground Vehicles
- Exchange from to: April - July 2014
