Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification.

Francesco Belardinelli, Catalin Dima, Aniello Murano

Browse the full KR paper archive.