David Vogelbacher

Identifiers

• name variant David Vogelbacher 0.60 · backfill

Papers (1)

1. Formal Verification of Obstacle Avoidance and Navigation of Ground Robots cs.SY · 2016 · author #3

Mentions

• 1605.00604 #3 · arxiv_oai · confidence 0.70 David Vogelbacher

Frequent Coauthors

• Andr\'e Platzer 1 shared papers
• Khalil Ghorbal 1 shared papers
• Stefan Mitsch 1 shared papers