Geatti, Luca, Marco Montali, and Andrey Rivkin. “Foundations of Reactive Synthesis for Declarative Process Specifications”. Proceedings of the AAAI Conference on Artificial Intelligence 38, no. 16 (March 24, 2024): 17416–17425. Accessed May 26, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/29690.