KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal verification of obstacle avoidance and navigation of ground robots

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

Open Access Logo


Download
Originalveröffentlichung
DOI: 10.1177/0278364917733549
Scopus
Zitationen: 30
Dimensions
Zitationen: 30
Zugehörige Institution(en) am KIT Institut für Anthropomatik (IFA)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2017
Sprache Englisch
Identifikator ISSN: 0278-3649, 1741-3176
KITopen-ID: 1000076690
Erschienen in International journal of robotics research
Verlag SAGE Publications
Band 36
Heft 12
Seiten 1312-1340
Nachgewiesen in Scopus
Dimensions
Web of Science
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page