Statistics of Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol

Contact ORBilu