Combining Model Checking and Reinforcement Learning for Scalable Mission Planning of Autonomous Agents
Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist · 2020
The problem of mission planning for multiple autonomous agents, including path planning and task scheduling, is often complex. Recent efforts aiming at solving this problem have explored ways of us ...