Benjamin Aminof, Giuseppe De Giacomo, Giuseppe Perelli, Sasha Rubin. LTL Synthesis Under Multi-Agent Environment Assumptions. In Magdalena Ortiz 0001, Renata Wassermann, Torsten Schaub, editors, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 1-17, 2025. 2025. [doi]
Abstract is missing.