Promela Manual Pages (Promela LTL) http://spinroot.com/spin/Man/ltl.html Synthesis Format Conversion Tool https://github.com/reactive-systems/syfco ARM Ltd. 1999 AMBA specification (rev. 2) http://www.arm.com Roderick Bloem Barbara Jobstmann Nir Piterman Amir Pnueli Yaniv Sa'ar 2012 Synthesis of Reactive(1) Designs J. Comput. Syst. Sci. 78 3 911–938 10.1016/j.jcss.2011.08.007 J.R. Büchi L.H. Landweber 1969 Solving sequential conditions by finite-state strategies Trans. Amer. Math. Soc. 138 295–311 10.2307/1994916 Alonzo Church 1962 Logic, arithmetic and automata Proceedings of the international congress of mathematicians 23–35 10.2307/2270398 Rüdiger Ehlers 2010 Unbeast - Symbolic Bounded Synthesis https://react.cs.uni-saarland.de/tools/unbeast Rüdiger Ehlers 2011 Experimental Aspects of Synthesis iWIGP EPTCS 50 1–16 10.4204/EPTCS.50.1 Rüdiger Ehlers 2012 Symbolic bounded synthesis Formal Methods in System Design 40 2 232–262 10.1007/s10703-011-0137-x Rüdiger Ehlers Vasumathi Raman 2016 Slugs: Extensible GR(1) Synthesis CAV (2) Lecture Notes in Computer Science 9780 Springer 333–339 10.1007/978-3-319-41540-6_18 Rüdiger Ehlers Vasumathi Raman Cameron Finucane 2013 slugs - SmalL bUt Complete GROne Synthesizer https://github.com/VerifiableRobotics/slugs Cindy Eisner Dana Fisman 2006 A Practical Introduction to PSL Series on Integrated Circuits and Systems Springer-Verlag 10.1007/978-0-387-36123-9 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 Emmanuel Filiot Naiyong Jin Jean-François Raskin 2013 Exploiting structure in LTL synthesis STTT 15 5-6 541–561 10.1007/s10009-012-0222-5 Bernd Finkbeiner Swen Jacobs 2012 Lazy Synthesis VMCAI LNCS 7148 Springer 219–234 10.1007/978-3-642-27940-9_15 Bernd Finkbeiner Sven Schewe 2013 Bounded synthesis STTT 15 5-6 519–539 10.1007/s10009-012-0228-z Swen Jacobs 2014 Extended AIGER Format for Synthesis CoRR abs/1405.5793 http://arxiv.org/abs/1405.5793 Swen Jacobs Roderick Bloem 2016 The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond SYNT THISVOLUME5 Swen Jacobs Roderick Bloem Romain Brenguier Rüdiger Ehlers Timotheus Hell Robert Könighofer Guillermo A. Pérez Jean-François Raskin Leonid Ryzhyk Ocan Sankur Martina Seidl Leander Tentrup Adam Walker 2016 The First Reactive Synthesis Competition (SYNTCOMP 2014) STTT 10.1007/s10009-016-0416-3 Published online first, journal issue to appear Swen Jacobs Roderick Bloem Romain Brenguier Ayrat Khalimov Felix Klein Robert Könighofer Jens Kreber Alexander Legg Nina Narodytska Guillermo A. Pérez Jean-François Raskin Leonid Ryzhyk Ocan Sankur Martina Seidl Leander Tentrup Adam Walker 2016 The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results SYNT THISVOLUME13 Swen Jacobs Roderick Bloem Romain Brenguier Robert Könighofer Guillermo A. Pérez Jean-François Raskin Leonid Ryzhyk Ocan Sankur Martina Seidl Leander Tentrup Adam Walker 2015 The Second Reactive Synthesis Competition (SYNTCOMP 2015) SYNT 2015 EPTCS 202 27–57 10.4204/EPTCS.202.4 Swen Jacobs Felix Klein 2016 A High-Level LTL Synthesis Format: TLSF v1.0 CoRR abs/1601.05228 http://arxiv.org/abs/1601.05228 Barbara Jobstmann 2007 Applications and Optimizations for LTL Synthesis Graz University of Technology Uri Klein Amir Pnueli 2010 Revisiting Synthesis of GR(1) Specifications HVC 2010. Revised Selected Papers LNCS 6504 Springer 161–181 10.1007/978-3-642-19583-9_16 Andreas Morgenstern Klaus Schneider 2011 A LTL Fragment for GR(1)-Synthesis iWIGP EPTCS 50 33–45 10.4204/EPTCS.50.3 Amir Pnueli Roni Rosner 1989 On the Synthesis of a Reactive Module POPL ACM Press 179–190 10.1145/75277.75293 Michael O. Rabin 1969 Decidability of second-order theories and automata on infinite trees Trans. Amer. Math. Soc. 141 1–35 10.1090/S0002-9947-1969-0246760-1 Sebastian Schirmer 2015 A Specification Format for Reactive Synthesis Bachelor Thesis. Saarland University, Computer Science Saqib Sohail Fabio Somenzi 2013 Safety first: a two-stage algorithm for the synthesis of reactive systems STTT 15 5-6 433–454 10.1007/s10009-012-0224-3 Fabio Somenzi Roderick Bloem 2000 Efficient Büchi Automata from LTL Formulae CAV LNCS 1855 Springer 248–263 10.1007/10722167_21