KIT | KIT-Bibliothek | Impressum

Formal verification of obstacle avoidance and navigation of ground robots

Mitsch, Stefan; Ghorbal, Khalil; Vogelbacher, David; Platzer, Andre



Zugehörige Institution(en) am KIT Institut für Anthropomatik (IFA)
Publikationstyp Zeitschriftenaufsatz
Jahr 2017
Sprache Englisch
Identifikator ISSN: 0278-3649, 1741-3176
KITopen ID: 1000076690
Erschienen in International journal of robotics research
Band 36
Heft 12
Seiten 1312-1340
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page