research
∙
05/17/2023
Games on Graphs
The objective of this collaborative textbook is to present the state of ...
share
research
∙
10/13/2020
Higher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties
This paper studies the logical properties of a very general class of inf...
research
∙
10/13/2020
Collapsible Pushdown Parity Games
This paper studies a large class of two-player perfect-information turn-...
research
∙
02/23/2020
How Good Is a Strategy in a Game With Nature?
We consider games with two antagonistic players —Éloïse (modelling a pro...
research
∙
02/14/2019