Showing 2026Show all
2 papers · 1 filter
cs.MA2026
Translating Natural Language to Strategic Temporal Specifications via LLMs
Marco Aruta, Francesco Improta, Vadim Malvone +2
A rigorous formalization of system requirements is a fundamental prerequisite for the verification of Multi-Agent Systems (MAS). However, writing correct formal specifications is w…
cs.MA2026
A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics
Marco Aruta, Vadim Malvone, Aniello Murano +2
Reasoning about what agents can achieve through strategic interaction is a core challenge in Multi-Agent Systems (MAS). Logics for strategic ability, such as ATL, provide rigorous…