Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot
Abstract
no abstract
Domains
Computer Science [cs]Origin | Files produced by the author(s) |
---|
Origin | Files produced by the author(s) |
---|
Accord Elsevier CCSD : Connect in order to contact the contributor
https://hal.science/hal-01699927
Submitted on : Friday, February 3, 2023-3:13:06 PM
Last modification on : Monday, April 22, 2024-4:23:32 PM
Long-term archiving on: Thursday, May 4, 2023-7:47:13 PM