Marco Aruta, Vadim Malvone, Aniello Murano, Vincenzo Pio Palma, Salvatore Romano. FindMe: A Prototype Videogame AI based on CTL with an Optimized Synthesis Algorithm. In Sanmay Das, Ann Nowé, Yevgeniy Vorobeychik, editors, Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025, Detroit, MI, USA, May 19-23, 2025. pages 2997-2999, International Foundation for Autonomous Agents and Multiagent Systems / ACM, 2025. [doi]
Abstract is missing.