ATL for Dynamic Gaming Environments. - Marco Aruta; Aniello Murano; Salvatore Romano (EUMAS, 2024)

Development of Natural Strategies in Strategic Logics (short paper). - Marco Aruta; Vadim Malvone; Aniello Murano (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

A Model Checker for Natural Strategic Ability. - Marco Aruta; Vadim Malvone; Aniello Murano (CoRR, 2024)

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)

ADNF-Clustering: An Adaptive and Dynamic Neuro-Fuzzy Clustering for Leukemia Prediction. - Marco Aruta; Ciro Listone; Giuseppe Murano; Aniello Murano (CoRR, 2025)