KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal verification of obstacle avoidance and navigation of ground robots

Mitsch, Stefan; Ghorbal, Khalil; Vogelbacher, David 1; Platzer, Andre
1 Karlsruher Institut für Technologie (KIT)


Download
Originalveröffentlichung
DOI: 10.1177/0278364917733549
Scopus
Zitationen: 67
Web of Science
Zitationen: 51
Dimensions
Zitationen: 68
Zugehörige Institution(en) am KIT Fakultät für Informatik – 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 Web of Science
Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page