Sampling-based algorithms for optimal motion planning using process algebra specifications.

Valerio Varricchio Pratik Chaudhari Emilio Frazzoli

Published in: ICRA (2014)

Keyphrases

motion planning
degrees of freedom
mobile robot
path planning
process algebra
multi robot
formal specification
knowledge acquisition
human body
mechanical systems
concurrent systems
viewpoint
collision free
trajectory planning