FindMe: A Prototype Videogame AI based on CTL with an Optimized Synthesis Algorithm. - Marco Aruta; Vadim Malvone; Aniello Murano; Vincenzo Pio Palma; Salvatore Romano (AAMAS, 2025)