User: Guest  Login
Author(s):
Hess, D.; Althoff, M.; Sattel, T. 
Title:
Formal Verification of Maneuver Automata for Parameterized Motion Primitives 
Book / Congress title:
Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems 
Year:
2014 
Pages:
1474-1481