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
Roy Armoni
Limor Fix
Alon Flaisher
Rob Gerth
Boris Ginsburg
Tomer Kanza
Avner Landver
Sela Mador-Haim
Eli Singerman
Andreas Tiemeyer
Moshe Y. Vardi
Yael Zbar
2002
The ForSpec Temporal Logic: A New Temporal Property-Specification Language
Joost-Pieter Katoen
Perdita Stevens
TACAS 2002
LNCS
2280
Springer
296–311
10.1007/3-540-46002-0_21
Christel Baier
Joost-Pieter Katoen
2008
Principles of Model Checking
The MIT Press
Krishnendu Chatterjee
Thomas A. Henzinger
Jan Otop
Andreas Pavlogiannis
2013
Distributed synthesis for LTL fragments
FMCAD 2013
IEEE
18–25
10.1109/FMCAD.2013.6679386
Cindy Eisner
Dana Fisman
2006
A Practical Introduction to PSL
Integrated Circuits and Systems
Springer
10.1007/978-0-387-36123-9
Peter Faymonville
Martin Zimmermann
2014
Parametric Linear Dynamic Logic
GandALF 2014
EPTCS
161
60–73
10.4204/EPTCS.161.8
Full version accepted for publication at Information and Computation
Bernd Finkbeiner
Sven Schewe
2005
Uniform Distributed Synthesis
LICS 2005
IEEE Computer Society
321–330
10.1109/LICS.2005.53
Bernd Finkbeiner
Sven Schewe
2013
Bounded synthesis
STTT
15
5-6
519–539
10.1007/s10009-012-0228-z
Wladimir Fridman
Bernd Puchala
2014
Distributed synthesis for regular and contextfree specifications
Acta Inf.
51
3-4
221–260
10.1007/s00236-014-0194-x
Paul Gastin
Nathalie Sznajder
2013
Fair Synthesis for Asynchronous Distributed Systems
ACM Trans. Comput. Log.
14
2
9
10.1145/2480759.2480761
Paul Gastin
Nathalie Sznajder
Marc Zeitoun
2009
Distributed synthesis for well-connected architectures
Formal Methods in System Design
34
3
215–237
10.1007/s10703-008-0064-7
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
2001
Synthesizing Distributed Systems
LICS 2001
IEEE Computer Society
389–398
10.1109/LICS.2001.932514
Parthasarathy Madhusudan
Pazhamaneri Subramaniam Thiagarajan
2001
Distributed Controller Synthesis for Local Specifications
ICALP 2011
LNCS
2076
Springer
396–407
10.1007/3-540-48224-5_33
Swarup Mohalik
Igor Walukiewicz
2003
Distributed Games
Paritosh K. Pandya
Jaikumar Radhakrishnan
FSTTCS 2003
LNCS
2914
Springer
338–351
10.1007/978-3-540-24597-1_29
Amir Pnueli
1977
The temporal logic of programs
FOCS 1977
IEEE
46–57
10.1109/SFCS.1977.32
Amir Pnueli
Roni Rosner
1990
Distributed Reactive Systems Are Hard to Synthesize
FOCS 1990
IEEE Computer Society
746–757
10.1109/FSCS.1990.89597
Sven Schewe
2014
Distributed synthesis is simply undecidable
Inf. Process. Lett.
114
4
203–207
10.1016/j.ipl.2013.11.012
Sven Schewe
Bernd Finkbeiner
2006
Synthesis of Asynchronous Systems
LOPSTR 2006
LNCS
4407
Springer
127–142
10.1007/978-3-540-71410-1_10
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