research
∙
07/20/2022
Careful Autonomous Agents in Environments With Multiple Common Resources
Careful rational synthesis was defined in (Condurache et al. 2021) as a ...
share
research
∙
04/19/2022
Model Checking Strategic Abilities in Information-sharing Systems
We introduce a subclass of concurrent game structures (CGS) with imperfe...
research
∙
03/25/2022
Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol
We propose a notion of alternating bisimulation for strategic abilities ...
research
∙
06/26/2020
A Hennessy-Milner Theorem for ATL with Imperfect Information
We show that a history-based variant of alternating bisimulation with im...
research
∙
03/11/2019