Formal verification of maneuver automata for parameterized motion primitives.

Daniel Hess, Matthias Althoff, Thomas Sattel

Browse the full IROS paper archive.