Login
- Titel:
Formal Verification of Maneuver Automata for Parameterized Motion Primitives
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Hess, D.; Althoff, M.; Sattel, T.
- Seitenangaben Beitrag:
- 1474-1481
- Kongress- / Buchtitel:
- Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems
- Jahr:
- 2014
- Volltext / DOI:
- doi:10.1109/IROS.2014.6942751
BibTeX