David Vogelbacher

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Formal Verification

Space Exploration

Obstacle Avoidance

Bounded Model Checking

Top Venues

Int. J. Robotics Res.

Publications

Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer
Formal verification of obstacle avoidance and navigation of ground robots. Int. J. Robotics Res. 36 (12) (2017)
Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer
Formal Verification of Obstacle Avoidance and Navigation of Ground Robots. CoRR (2016)