ROMANO, SALVATORE

ROMANO, SALVATORE  

Mostra records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.009 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
FindMe: A Prototype Videogame AI based on CTL with an Optimized Synthesis Algorithm 2.1 Contributo in volume (Capitolo o Saggio) 2025 Aruta, Marco; Malvone, Vadim; Murano, Aniello; Pio Palma, Vincenzo; Romano, Salvatore
ATL for Dynamic Gaming Environments 2.1 Contributo in volume (Capitolo o Saggio) 2024 Aruta, Marco; Murano, Aniello; Romano, Salvatore