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
∙
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
∙
07/21/2017
