Publications
DBLP
-
Nash Equilibrium and Bisimulation Invariance
In Logical Methods in Computer Science, LMCS, 2019.
Preliminary version here (In CONCUR, Lipics, 2017).
-
On Computational Tractability for Rational Verification
In IJCAI, AAAI Publications, 2019.
-
Equilibrium Design for Concurrent Games
In CONCUR, Lipics, 2019.
-
Cooperative Concurrent Games
In AAMAS, ACM, 2019.
-
Multi-Player Games with LDL Goals over Finite Traces
In Information and Computation, Elsevier, 2019.
Preliminary version here (In AAMAS, ACM, 2017).
-
Imperfect Information in Reactive Modules Games
In Information and Computation, Elsevier, 2018.
Preliminary version here (In KR, AAAI Publications, 2016).
-
EVE: A Tool for Temporal Equilibrium Analysis
In ATVA, LNCS, Springer, 2018.
-
Local Equilibria in Logic-Based Multi-Player Games
In AAMAS, ACM, 2018.
-
From Model Checking to Equilibrium Checking: Reactive Modules for Rational Verification
In Artificial Intelligence, Elsevier, 2017.
-
Reasoning About Equilibria in Game-like Concurrent Systems
In Annals of Pure and Applied Logic, Elsevier, 2017.
Preliminary version here (In KR, AAAI Publications, 2014).
-
Nash Equilibria in Concurrent Games with Lexicographic Preferences
In IJCAI, AAAI Publications, 2017.
-
Iterated Boolean Games for Rational Verification
In AAMAS, ACM, 2017.
-
Partial-Order Boolean Games
In Synthese, Springer, 2016.
Preliminary version here (In LOFT, 2014).
-
Expressiveness and Nash Equilibrium in Iterated Boolean Games
In AAMAS, ACM, 2016.
-
Rational Verification: From Model Checking to Equilibrium Checking
In AAAI, AAAI publications, 2016.
-
Iterated Boolean Games
In Information and Computation, Elsevier, 2015.
Preliminary version here (In IJCAI, AAAI Publications, 2013).
-
On Fixpoint Logics and Equivalences for Processes with Restricted Nondeterminism
In Journal of Logic and Computation, Oxford University Press, 2015.
-
Expressiveness and Complexity Results for Strategic Reasoning
In CONCUR, Lipics, 2015.
-
A Mathematical Game Semantics of Concurrency and Nondeterminism
In ICTAC, LNCS, Springer, 2015.
-
A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
In ICTAC, LNCS, Springer, 2015.
-
The Mu-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity
In Theoretical Computer Science, Elsevier, 2014.
Preliminary version here (In GANDALF, EPTCS, 2012).
-
On the Determinacy of Concurrent Games on Event Structures with Infinite Winning Sets
In Journal of Computer and System Sciences, Elsevier, 2014.
-
Equilibria of Concurrent Games on Event Structures
In LICS+CSL, ACM, 2014.
-
Borel Determinacy of Concurrent Games
In CONCUR, LNCS, Springer, 2013.
-
Imperfect Information in Logic and Concurrent Games
In Computation, Logic, Games, and Quantum Foundations, LNCS, Springer, 2013.
-
The Winning Ways of Concurrent Games
In LICS, IEEE, 2012.
-
Concurrent Logic Games on Partial Orders
In WoLLIC, LNCS, Springer, 2011.
-
Model-Checking Games for Fixpoint Logics with Partial Order Models
In Information and Computation, Elsevier, 2011.
Preliminary version here (In CONCUR, LNCS, Springer, 2009).
-
Logics and Bisimulation Games for Concurrency, Causality and Conflict
In FOSSACS, LNCS, Springer, 2009.
-
Timed Concurrent Constraint Programming for Analysing Biological Systems
In ENTCS, Elsevier, 2007.
Theses