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