77 citations · 145 across the 23 of their papers we have counts for
3 papers · 1 filter
Careful Autonomous Agents in Environments With Multiple Common Resources
Rodica Condurache, Catalin Dima, Madalina Jitaru +2
Careful rational synthesis was defined in (Condurache et al. 2021) as a quantitative extension of Fisman et al.'s rational synthesis (Fisman et al. 2010), as a model of multi-agent…
Model Checking Strategic Abilities in Information-sharing Systems
Francesco Belardinelli, Ioana Boureanu, Catalin Dima +1
We introduce a subclass of concurrent game structures (CGS) with imperfect information in which agents are endowed with private data-sharing capabilities. Importantly, our CGSs are…
Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol
Francesco Belardinelli, Rodica Condurache, Catalin Dima +2
We propose a notion of alternating bisimulation for strategic abilities under imperfect information. The bisimulation preserves formulas of ATL for both the {\em objective} and…