Gianmarco Parretti. f Best-Effort Synthesis for Single and Multiple Goal and Planning Domain Specifications. In Vadim Malvone, Aniello Murano, editors, Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings. Volume 14282 of Lecture Notes in Computer Science, pages 514-520, Springer, 2023. [doi]
Abstract is missing.