Martín Abadi
Leslie Lamport
Pierre Wolper
1989
Realizable and Unrealizable Specifications of Reactive Systems
Ausiello
1–17
10.1007/BFb0035748
Rajeev Alur
Kousha Etessami
Salvatore La Torre
Doron Peled
2001
Parametric temporal logic for ``model measuring''
ACM Trans. Comput. Log.
2
3
388–407
10.1145/377978.377990
Giorgio Ausiello
Mariangiola Dezani-Ciancaglini
Simona Ronchi Della Rocca
1989
ICALP 89
LNCS
372
Springer
Aaron Bohy
Véronique Bruyère
Emmanuel Filiot
Naiyong Jin
Jean-François Raskin
2012
Acacia+, a Tool for LTL Synthesis
P. Madhusudan
Sanjit A. Seshia
CAV
LNCS
7358
Springer
652–657
10.1007/978-3-642-31424-7_45
Rüdiger Ehlers
2012
Symbolic Bounded Synthesis
Formal Methods in System Design
40
2
232–262
10.1007/s10703-011-0137-x
Peter Faymonville
Bernd Finkbeiner
Markus N. Rabe
Leander Tentrup
2015
Encodings of Reactive Synthesis
Quantify 2015
http://fmv.jku.at/quantify15/Faymonville-et-al-QUANTIFY2015.pdf
Peter Faymonville
Martin Zimmermann
2014
Parametric Linear Dynamic Logic
Adriano Peron
Carla Piazza
GandALF
EPTCS
161
60–73
10.4204/EPTCS.161.8
Emmanuel Filiot
Naiyong Jin
Jean-François Raskin
2011
Antichains and compositional algorithms for LTL synthesis
Formal Methods in System Design
39
3
261–296
10.1007/s10703-011-0115-3
Bernd Finkbeiner
Sven Schewe
2013
Bounded synthesis
STTT
15
5-6
519–539
10.1007/s10009-012-0228-z
Erich Grädel
Wolfgang Thomas
Thomas Wilke
2002
Automata, Logics, and Infinite Games: A Guide to Current Research
LNCS
2500
Springer
Barbara Jobstmann
Roderick Bloem
2006
Optimizations for LTL Synthesis
FMCAD
IEEE Computer Society
117–124
10.1109/FMCAD.2006.22
Orna Kupferman
Nir Piterman
Moshe Y. Vardi
2006
Safraless Compositional Synthesis
Thomas Ball
Robert B. Jones
CAV
LNCS
4144
Springer
31–44
10.1007/11817963_6
Orna Kupferman
Nir Piterman
Moshe Y. Vardi
2009
From liveness to promptness
Formal Methods in System Design
34
2
83–103
10.1007/s10703-009-0067-z
Orna Kupferman
Moshe Y. Vardi
2005
Safraless Decision Procedures
FOCS
IEEE Computer Society
531–542
10.1109/SFCS.2005.66
Amir Pnueli
1977
The Temporal Logic of Programs
FOCS 1977
IEEE Computer Society
46–57
10.1109/SFCS.1977.32
Amir Pnueli
Roni Rosner
1989
On the Synthesis of a Reactive Module
POPL
179–190
10.1145/75277.75293
Amir Pnueli
Roni Rosner
1989
On the Synthesis of an Asynchronous Reactive Module
Ausiello
652–671
10.1007/BFb0035790
Sven Schewe
2007
Solving Parity Games in Big Steps
Vikraman Arvind
Sanjiva Prasad
FSTTCS 2007
LNCS
4855
Springer
449–460
10.1007/978-3-540-77050-3_37
Martin Zimmermann
2013
Optimal bounds in parametric LTL games
Theor. Comput. Sci.
493
30–45
10.1016/j.tcs.2012.07.039
Martin Zimmermann
2015
Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL
Javier Esparza
Enrico Tronci
GandALF 2015
EPTCS
193
144–157
10.4204/EPTCS.193.11