- The Game of Synthesis Nathanael Fijalkow Wed 18 February 2026
- Generating Collection Transformations from Proofs Michael Benedikt Pierre Pradic Tue 05 January 2021
- Mixing Probabilistic and Non-Probabilistic Objectives in Markov Decision Processes Raphael Berthon Shibashis Guha Jean-François Raskin Sat 04 July 2020
- Logics for Word Transductions with Synthesis Luc Dartois Emmanuel Filiot Nathan Lhote Fri 12 October 2018
- The surprizing complexity of generalized reachability games Nathanael Fijalkow Florian Horn Mon 14 May 2018
- An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space John Fearnley Sanjay Jain Sven Schewe Frank Stephan Dominik Wojtczak Mon 18 September 2017
- Antichains and Compositional Algorithms for LTL Synthesis Emmanuel Filiot Naiyong Jin Jean-François Raskin Sun 22 June 2014
- On the Synthesis of Finite-State Machines from Samples of Their Behavior A. W. Biermann J. A. Feldman Sun 22 December 2013
- On the synthesis of a reactive module A. Pnueli R. Rosner Fri 12 July 2013
- ACTLąpLTL Synthesis Rudiger Ehlers Sat 07 July 2012
- Synthesis of Succinct Systems John Fearnley Doron Peled Sven Schewe Tue 03 April 2012
- History-Deterministic Timed Automata Thomas A. Henzinger Karoliina Lehtinen Patrick Totzke Fri 02 March 2012
Library Size: 13G (12 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
