Marco Aruta

Computer Science · Physical Sciences

1h-index1citations10works0.12yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(3), Reinforcement Learning in Robotics(3), Logic, Reasoning, and Knowledge(3), Multi-Agent Systems and Negotiation(1), Teaching and Learning Programming(1)

Publications10 total

When Natural Strategies Meet Fuzziness and Resource-Bounded Actions
Underline Science Inc.·2026Open Access
Pipeline for neuro-symbolic NatATL strategy synthesis.
Figshare·2026Open Access
Pipeline for neuro-symbolic NatATL strategy synthesis.
Figshare·2026Open Access
When Natural Strategies Meet Fuzziness and Resource-Bounded Actions (Extended Version)
ArXiv.org·2025Open Access
When Natural Strategies Meet Fuzziness and Resource-Bounded Actions (Extended Version)
arXiv (Cornell University)·2025Open Access
Theory and Practice of Natural Strategy Checking in Concurrent Games with Imperfect Information
Lecture notes in computer science·2025
ADNF-Clustering: An Adaptive and Dynamic Neuro-Fuzzy Clustering for Leukemia Prediction
2025· 1 cited
FindMe: A Prototype Videogame AI based on CTL with an Optimized Synthesis Algorithm
2025
ATL for Dynamic Gaming Environments
Lecture notes in computer science·2025
A Model Checker for Natural Strategic Ability
arXiv (Cornell University)·2024Open Access

Frequent Co-authors

Vadim Malvone(6), Aniello Murano(3), L. Rizzuti(2), Vadim Malvone(2), Francesco Improta(2), Aniello Murano(2), Ciro Listone(1), Giuseppe Antonio Murano(1), Aniello Murano(1), Francesco Improta(1), S. Romano(1), Association for Artificial Intelligence 2026(1), Francesco Improta(1), Aniello Murano(1), Aniello Murano(1), Vincenzo Pio Palma(1), S. Romano(1)