MAPmAKER: performing multi-robot LTL planning under uncertainty.
Sergio GarcíaClaudio MenghiPatrizio PelliccionePublished in: RoSE@ICSE (2019)
Keyphrases
- multi robot
- planning under uncertainty
- path planning
- mobile robot
- multi robot systems
- markov decision processes
- decision theoretic
- multi robot exploration
- ai planning
- dynamical systems
- multi agent
- search and rescue
- uncertain environments
- motion planning
- partially observable markov decision processes
- model checking
- multiple robots
- robotic systems
- special case
- coalitional game theory
- surveillance system
- multi robot cooperative
- robot teams
- computer vision