Formal Verification of Obstacle Avoidance and Navigation of Ground Robots (Englisch)
Freier Zugriff
- Neue Suche nach: Mitsch, Stefan
- Neue Suche nach: Ghorbal, Khalil
- Neue Suche nach: Vogelbacher, David
- Neue Suche nach: Platzer, André
- Neue Suche nach: Mitsch, Stefan
- Neue Suche nach: Ghorbal, Khalil
- Neue Suche nach: Vogelbacher, David
- Neue Suche nach: Platzer, André
2016
- Preprint / Elektronische Ressource
-
Titel:Formal Verification of Obstacle Avoidance and Navigation of Ground Robots
-
Beteiligte:Mitsch, Stefan ( Autor:in ) / Ghorbal, Khalil ( Autor:in ) / Vogelbacher, David ( Autor:in ) / Platzer, André ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: arXiv
-
Erscheinungsdatum:2016
-
DOI:
-
Medientyp:Preprint
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 03B70 / 34A38 / 68Q60
- Weitere Informationen zu Mathematics Subject Classification
-
Klassifikation:
-
Lizenzbestimmungen:
-
Datenquelle: