Login / Signup
Automated composition of motion primitives for multi-robot systems from safe LTL specifications.
Indranil Saha
Rattanachai Ramaithitima
Vijay Kumar
George J. Pappas
Sanjit A. Seshia
Published in:
IROS (2014)
Keyphrases
</>
multi robot systems
bounded model checking
multi robot
autonomous robots
motion primitives
mobile robot
multi agent
temporal logic
model checking
multiple robots
linear temporal logic
human motion
machine learning
multi agent systems
path planning