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
∙
07/30/2020
Reasoning about strategies on collapsible pushdown arenas with imperfect information
Strategy Logic with imperfect information (SLiR) is a very expressive lo...
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/10/2020
Alternating Tree Automata with Qualitative Semantics
We study alternating automata with qualitative semantics over infinite b...
research
∙
02/12/2009