ARUTA, MARCO
ARUTA, MARCO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.016 secondi).
Formal Aspects for Strategic Reasoning in Multi-Agent Systems with Natural Strategies
2023 Aruta, Marco; Malvone, Vadim; Murano, Aniello
Development of Natural Strategies in Strategic Logics (short paper)
2024 Aruta, Marco; Malvone, Vadim; Murano, Aniello
S4H: A Tool for Synthesizing Human-Like Strategies
2025 Aruta, Marco; Malvone, Vadim; Murano, Aniello
FindMe: A Prototype Videogame AI based on CTL with an Optimized Synthesis Algorithm
2025 Aruta, Marco; Malvone, Vadim; Murano, Aniello; Pio Palma, Vincenzo; Romano, Salvatore
ATL for Dynamic Gaming Environments
2024 Aruta, Marco; Murano, Aniello; Romano, Salvatore
Theory and Practice of Natural Strategy Checking in Concurrent Games with Imperfect Information
2025 Aruta, Marco; Improta, Francesco; Malvone, Vadim; Murano, Aniello
ADNF-Clustering: An Adaptive and Dynamic Neuro-Fuzzy Clustering for Leukemia Prediction
2025 Aruta, Marco; Listone, Ciro; Murano, Giuseppe; Murano, Aniello
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Formal Aspects for Strategic Reasoning in Multi-Agent Systems with Natural Strategies | 3.1 Monografia o trattato scientifico | 2023 | Aruta, Marco; Malvone, Vadim; Murano, Aniello | |
| Development of Natural Strategies in Strategic Logics (short paper) | 2.1 Contributo in volume (Capitolo o Saggio) | 2024 | Aruta, Marco; Malvone, Vadim; Murano, Aniello | |
| S4H: A Tool for Synthesizing Human-Like Strategies | 2.1 Contributo in volume (Capitolo o Saggio) | 2025 | Aruta, Marco; Malvone, Vadim; Murano, Aniello | |
| 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 | |
| Theory and Practice of Natural Strategy Checking in Concurrent Games with Imperfect Information | 2.1 Contributo in volume (Capitolo o Saggio) | 2025 | Aruta, Marco; Improta, Francesco; Malvone, Vadim; Murano, Aniello | |
| ADNF-Clustering: An Adaptive and Dynamic Neuro-Fuzzy Clustering for Leukemia Prediction | 2.1 Contributo in volume (Capitolo o Saggio) | 2025 | Aruta, Marco; Listone, Ciro; Murano, Giuseppe; Murano, Aniello |