Combining Model Checking and Reinforcement Learning for Scalable Mission Planning of Autonomous Agents

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 ...