4 citations · 5 across the 5 of their papers we have counts for
6 papers
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…
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…
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…
Reasoning about Intuitionistic Computation Tree Logic
Davide Catta, Vadim Malvone, Aniello Murano
In this paper, we define an intuitionistic version of Computation Tree Logic. After explaining the semantic features of intuitionistic logic, we examine how these characteristics c…
Natural Strategic Abilities in Voting Protocols
Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
Security properties are often focused on the technological side of the system. One implicitly assumes that the users will behave in the right way to preserve the property at hand.…
Extended Graded Modalities in Strategy Logic
Benjamin Aminof, Vadim Malvone, Aniello Murano +1
Strategy Logic (SL) is a logical formalism for strategic reasoning in multi-agent systems. Its main feature is that it has variables for strategies that are associated to specific…