Rong Gu, Eduard Enoiu, Cristina Seceleanu, Kristina Lundqvist. Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents. In Maurice H. ter Beek, Dejan Nickovic, editors, Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. Volume 12327 of Lecture Notes in Computer Science, pages 73-92, Springer, 2020. [doi]
Abstract is missing.