Multi-robot LTL Planning Under Uncertainty.
Claudio MenghiSergio GarcíaPatrizio PelliccioneJana TumovaPublished in: FM (2018)
Keyphrases
- planning under uncertainty
- multi robot
- decision theoretic
- markov decision processes
- model checking
- path planning
- mobile robot
- ai planning
- multi robot systems
- dynamical systems
- multi agent
- multi robot exploration
- motion planning
- multiple robots
- robotic systems
- search and rescue
- uncertain environments
- robot teams
- computer vision
- partially observable markov decision processes
- surveillance system
- multi robot coordination