Rong Gu, Peter Gjøl Jensen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist. Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems. Science of Computer Programming, 224:102894, 2022. [doi]
Abstract is missing.