Compositional Planning for Logically Constrained Multi-Agent Markov Decision Processes

Krishna C. Kalagarla, Matthew Low, Rahul Jain +2

Designing control policies for large, distributed systems is challenging, especially in the context of critical, temporal logic based specifications (e.g., safety) that must be met…