Login
- Title:
Formal Verification of Maneuver Automata for Parameterized Motion Primitives
- Document type:
- Konferenzbeitrag
- Author(s):
- Hess, D.; Althoff, M.; Sattel, T.
- Pages contribution:
- 1474-1481
- Book / Congress title:
- Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems
- Year:
- 2014
- Fulltext / DOI:
- doi:10.1109/IROS.2014.6942751
BibTeX