Home | Legals | Sitemap | interACT
Vogelbacher

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