- The Game of Synthesis Nathanael Fijalkow Wed 18 February 2026
- Algebras for Automata: Reasoning with Regularity (Invited Talk) Anupam Das Mon 17 March 2025
- Weighted Timed Automata: Model-Checking and Games Patricia Bouyer Thu 06 February 2020
- Model Checking Games Erich Gradel Wed 22 January 2020
- Efficient approximation of optimal control for continuous-time Markov games John Fearnley Markus N. Rabe Sven Schewe Lijun Zhang Fri 12 April 2019
- The surprizing complexity of generalized reachability games Nathanael Fijalkow Florian Horn Mon 14 May 2018
- Games for synthesis of controllers with partial observation A. Arnold A. Vincent I. Walukiewicz Tue 03 April 2018
- The Alternation Hierarchy in Fixpoint Logic with Chop is Strict Too Martin Lange Wed 19 March 2014
- On the Complexity of Nash Equilibria and Other Fixed Points Kousha Etessami Mihalis Yannakakis Mon 10 March 2014
- The Complexity of Tree Automata and Logics of Programs E. Allen Emerson Charanjit S. Jutla Wed 18 December 2013
- Functional pearl: every bit counts Dimitrios Vytiniotis Andrew J. Kennedy Mon 01 July 2013
Library Size: 13G (11 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
