default search action
Information and Computation, Volume 276
Volume 276, February 2021
- Wiebe van der Hoek, Bastien Maubert, Aniello Murano, Sasha Rubin:
Preface. 104551 - Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik:
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. 104552 - Véronique Bruyère, Stéphane Le Roux, Arno Pauly, Jean-François Raskin:
On the existence of weak subgame perfect equilibria. 104553 - Valentin Goranko, Antti Kuusisto, Raine Rönnholm:
Game-theoretic semantics for ATL+ with applications to model checking. 104554 - Julian Gutierrez, Giuseppe Perelli, Michael J. Wooldridge:
Multi-player games with LDL goals over finite traces. 104555 - Dongge Han, Paul Harrenstein, Steven Nugent, Jonathan Philpott, Michael J. Wooldridge:
Behavioural strategies in weighted Boolean games. 104556 - Stéphane Le Roux, Arno Pauly:
Equilibria in multi-player multi-outcome infinite sequential games. 104557
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.