2 papers
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.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…