3 papers
cs.MA2025
When Natural Strategies Meet Fuzziness and Resource-Bounded Actions (Extended Version)
Marco Aruta, Francesco Improta, Vadim Malvone +1
In formal strategic reasoning for Multi-Agent Systems (MAS), agents are typically assumed to (i) employ arbitrarily complex strategies, (ii) execute each move at zero cost, and (ii…
cs.LG2025
ADNF-Clustering: An Adaptive and Dynamic Neuro-Fuzzy Clustering for Leukemia Prediction
Marco Aruta, Ciro Listone, Giuseppe Murano +1
Leukemia diagnosis and monitoring rely increasingly on high-throughput image data, yet conventional clustering methods lack the flexibility to accommodate evolving cellular pattern…
cs.MA2024
A Model Checker for Natural Strategic Ability
Marco Aruta, Vadim Malvone, Aniello Murano
In the last two decades, Alternating-time Temporal Logic (ATL) has been proved to be very useful in modeling strategic reasoning for Multi-Agent Systems (MAS). However, this logic…