Synthesis Format Conversion Tool https://github.com/reactive-systems/syfco Rajeev Alur Salvatore La Torre 2004 Deterministic generators and games for LTL fragments ACM Trans. Comput. Log. 5 1 1–25 10.1145/963927.963928 Adrian Balint Daniel Diepold Daniel Gall Simon Gerber Gregor Kapler Robert Retz 2011 EDACC - An Advanced Platform for the Experiment Design, Administration and Analysis of Empirical Algorithms LION 5. Selected Papers LNCS 6683 Springer 586–599 10.1007/978-3-642-25566-3_46 Clark Barrett Morgan Deters Leonardo Mendonça de Moura Albert Oliveras Aaron Stump 2013 6 Years of SMT-COMP J. Autom. Reasoning 50 3 243–277 10.1007/s10817-012-9246-5 Armin Biere AIGER Format and Toolbox http://fmv.jku.at/aiger/ R. Bloem B. Jobstmann N. Piterman A. Pnueli Y. Sa'ar 2012 Synthesis of Reactive(1) designs J. Comput. Syst. Sci. 78 3 911–938 10.1016/j.jcss.2011.08.007 R. Bloem R. Könighofer M. Seidl 2014 SAT-Based Synthesis Methods for Safety Specs VMCAI LNCS 8318 Springer 1–20 10.1007/978-3-642-54013-4_1 Roderick Bloem Krishnendu Chatterjee Thomas A. Henzinger Barbara Jobstmann 2009 Better Quality in Synthesis through Quantitative Objectives CAV LNCS 5643 Springer 140–156 10.1007/978-3-642-02658-4_14 Roderick Bloem Krishnendu Chatterjee Swen Jacobs Robert Könighofer 2015 Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information TACAS LNCS 9035 Springer 517–532 10.1007/978-3-662-46681-0_50 Roderick Bloem Uwe Egly Patrick Klampfl Robert Könighofer Florian Lonsing Martina Seidl 2016 Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications CoRR abs/1604.06204 http://arxiv.org/abs/1604.06204 Romain Brenguier Guillermo A. Pérez Jean-François Raskin Ocan Sankur 2014 AbsSynthe: abstract synthesis from succinct safety specifications SYNT EPTCS 157 100–116 10.4204/EPTCS.157.11 Romain Brenguier Guillermo A. Pérez Jean-François Raskin Ocan Sankur 2016 Compositional Algorithms for Succinct Safety Games SYNT EPTCS 202 98–111 10.4204/EPTCS.202.7 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 Gianpiero Cabodi Carmelo Loiacono Marco Palena Paolo Pasini Denis Patti Stefano Quer Danilo Vendraminetto Armin Biere Keijo Heljanko Jason Baumgartner 2016 Hardware Model Checking Competition 2014: An Analysis and Comparison of Solvers and Benchmarks Journal on Satisfiability, Boolean Modeling and Computation 9 135–172 Pavol Cerný Krishnendu Chatterjee Thomas A. Henzinger Arjun Radhakrishna Rohit Singh 2011 Quantitative Synthesis for Concurrent Programs CAV Lecture Notes in Computer Science 6806 Springer 243–259 10.1007/978-3-642-22110-1_20 Pavol Cerný Thomas A. Henzinger 2011 From boolean to quantitative synthesis EMSOFT ACM 149–154 10.1145/2038642.2038666 Krishnendu Chatterjee Thomas A. Henzinger Barbara Jobstmann Rohit Singh 2011 QUASY: Quantitative Synthesis Tool TACAS Lecture Notes in Computer Science 6605 Springer 267–271 10.1007/978-3-642-19835-9_24 Yushan Chen Xu Chu Ding Alin Stefanescu Calin Belta 2012 Formal Approach to the Deployment of Distributed Robotic Teams IEEE Transactions on Robotics 28 1 158–171 10.1109/TRO.2011.2163434 Ting-Wei Chiang Jie-Hong R. Jiang 2015 Property-Directed Synthesis of Reactive Systems from Safety Specifications ICCAD IEEE 794–801 10.1109/ICCAD.2015.7372652 Sandeep Chinchali Scott C. Livingston Ufuk Topcu Joel W. Burdick Richard M. Murray 2012 Towards formal synthesis of reactive controllers for dexterous robotic manipulation ICRA IEEE 5183–5189 10.1109/ICRA.2012.6225257 Alonzo Church 1962 Logic, arithmetic and automata Proceedings of the international congress of mathematicians 23–35 Niklas Eén Alexander Legg Nina Narodytska Leonid Ryzhyk 2015 SAT-Based Strategy Extraction in Reachability Games AAAI AAAI Press 3738–3745 http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9683 Rüdiger Ehlers 2011 Unbeast: Symbolic Bounded Synthesis TACAS LNCS 6605 Springer 272–275 10.1007/978-3-642-19835-9_25 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 Emmanuel Filiot Acacia+ http://lit2.ulb.ac.be/acaciaplus/ 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 2016 Synthesis of Reactive Systems Dependable Software Systems Engineering NATO Science for Peace and Security Series - D: Information and Communication Security 45 IOS Press 72–98 10.3233/978-1-61499-627-9-72 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 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 this volume of EPTCS Open Publishing Association 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 2016 The Second Reactive Synthesis Competition (SYNTCOMP 2015) SYNT EPTCS 202 Open Publishing Association 27–57 10.4204/EPTCS.202.4 Swen Jacobs Felix Klein Sebastian Schirmer 2016 A High-Level LTL Synthesis Format: TLSF v1.1 SYNT this volume of EPTCS Open Publishing Association Matti Järvisalo Daniel Le Berre Olivier Roussel Laurent Simon 2012 The International SAT Solver Competitions AI Magazine 33 1 Barbara Jobstmann Roderick Bloem 2006 Optimizations for LTL Synthesis FMCAD IEEE Computer Society 117–124 10.1109/FMCAD.2006.22 Ayrat Khalimov 2016 Specification Format for Reactive Synthesis Problems SYNT EPTCS 202 112–119 10.4204/EPTCS.202.8 Hadas Kress-Gazit Georgios E. Fainekos George J. Pappas 2009 Temporal-Logic-Based Reactive Mission and Motion Planning IEEE Transactions on Robotics 25 6 1370–1381 10.1109/TRO.2009.2030225 Alexander Legg Nina Narodytska Leonid Ryzhyk 2016 A SAT-Based Counterexample Guided Method for Unbounded Synthesis CAV (2) LNCS 9780 Springer 364–382 10.1007/978-3-319-41540-6_20 Jun Liu Necmiye Ozay Ufuk Topcu Richard M. Murray 2013 Synthesis of Reactive Switching Protocols From Temporal Logic Specifications IEEE Trans. Automat. Contr. 58 7 1771–1785 10.1109/TAC.2013.2246095 P. Madhusudan P. S. Thiagarajan 2001 Distributed Controller Synthesis for Local Specifications ICALP LNCS 2076 Springer 396–407 10.1007/3-540-48224-5_33 P. Madhusudan P. S. Thiagarajan 2002 A Decidable Class of Asynchronous Distributed Controllers CONCUR LNCS 2421 Springer 145–160 10.1007/3-540-45694-5_11 Andreas Morgenstern Klaus Schneider 2011 A LTL Fragment for GR(1)-Synthesis iWIGP EPTCS 50 33–45 10.4204/EPTCS.50.3 Nina Narodytska Alexander Legg Fahiem Bacchus Leonid Ryzhyk Adam Walker 2014 Solving Games without Controllable Predecessor CAV LNCS 8559 Springer 533–540 10.1007/978-3-319-08867-9_35 A Pnueli E Asarin O Maler J Sifakis 1998 Controller synthesis for timed automata Proc. System Structure and Control. Elsevier Amir Pnueli 1977 The Temporal Logic of Programs FOCS IEEE Computer Society 46–57 10.1109/SFCS.1977.32 Amir Pnueli Roni Rosner 1989 On the Synthesis of a Reactive Module POPL ACM Press 179–190 10.1145/75277.75293 Amir Pnueli Roni Rosner 1990 Distributed Reactive Systems Are Hard to Synthesize Foundations of Computer Science (FOCS'90) IEEE Computer Society 746–757 10.1109/FSCS.1990.89597 Michael O. Rabin 1972 Automata on Infinite Objects and Church's Problem Amer. Math. Soc. 13 Leonid Ryzhyk Adam Walker John Keys Alexander Legg Arun Raghunath Michael Stumm Mona Vij 2014 User-Guided Device Driver Synthesis OSDI USENIX Association 661–676 https://www.usenix.org/conference/osdi14/technical-sessions/presentation/ryzhyk 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 Aaron Stump Geoff Sutcliffe Cesare Tinelli 2014 StarExec: A Cross-Community Infrastructure for Logic Solving IJCAR LNCS 8562 Springer 367–373 10.1007/978-3-319-08587-6_28 Geoff Sutcliffe Christian B. Suttner 2006 The state of CASC AI Commun. 19 1 35–48 Leander Tentrup 2016 Solving QBF by Abstraction CoRR abs/1604.06752 http://arxiv.org/abs/1604.06752 Wolfgang Thomas 1995 On the Synthesis of Strategies in Infinite Games STACS 1–13 10.1007/3-540-59042-0_57 Adam Walker Leonid Ryzhyk 2014 Predicate abstraction for reactive synthesis FMCAD IEEE 219–226 10.1109/FMCAD.2014.6987617 Martin Zimmermann 2013 Optimal bounds in parametric LTL games Theor. Comput. Sci. 493 30–45 10.1016/j.tcs.2012.07.039