Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli & Yaniv Sa'ar (2012):
Synthesis of Reactive(1) Designs.
J. Comput. Syst. Sci. 78(3),
pp. 911–938,
doi:10.1016/j.jcss.2011.08.007.
Anca Browne, Edmund M. Clarke, Somesh Jha, David E. Long & Wilfredo R. Marrero (1997):
An Improved Algorithm for the Evaluation of Fixpoint Expressions.
Theor. Comput. Sci. 178(1-2),
pp. 237–255,
doi:10.1016/S0304-3975(96)00228-9.
Pavol Cerný, Viktor Kuncak & Parthasarathy Madhusudan (2016):
Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015.
EPTCS 202,
doi:10.4204/EPTCS.202.
Alessandro Cimatti, Marco Roveri, Viktor Schuppan & Andrei Tchaltsev (2008):
Diagnostic Information for Realizability.
In: VMCAI,
LNCS 4905.
Springer,
pp. 52–67,
doi:10.1007/978-3-540-78163-9_9.
Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman & Sebastián Uchitel (2013):
Synthesizing nonanomalous event-based controllers for liveness goals.
ACM Trans. Softw. Eng. Methodol. 22(1),
pp. 9,
doi:10.1145/2430536.2430543.
Matthew B. Dwyer, George S. Avrunin & James C. Corbett (1999):
Patterns in Property Specifications for Finite-State Verification.
In: ICSE.
ACM,
pp. 411–420,
doi:10.1145/302405.302672.
Rüdiger Ehlers (2011):
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis.
In: NASA Formal Methods,
LNCS 6617.
Springer,
pp. 101–115,
doi:10.1007/978-3-642-20398-5_9.
Rüdiger Ehlers & Vasumathi Raman (2016):
Slugs: Extensible GR(1) Synthesis.
In: Swarat Chaudhuri & Azadeh Farzan: Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II,
Lecture Notes in Computer Science 9780.
Springer,
pp. 333–339,
doi:10.1007/978-3-319-41540-6_18.
Ioannis Filippidis, Richard M. Murray & Gerard J. Holzmann (2015):
A multi-paradigm language for reactive synthesis.
In: Cerný,
pp. 73–97,
doi:10.4204/EPTCS.202.6.
Erich Grädel, Wolfgang Thomas & Thomas Wilke (2002):
Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001].
Lecture Notes in Computer Science 2500.
Springer,
doi:10.1007/3-540-36387-4.
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 (2017):
The first reactive synthesis competition (SYNTCOMP 2014).
STTT 19(3),
pp. 367–390,
doi:10.1007/s10009-016-0416-3.
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.
In: Piskac & Dimitrova,
pp. 149–177,
doi:10.4204/EPTCS.229.12.
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).
In: Cerný,
pp. 27–57,
doi:10.4204/EPTCS.202.4.
Robert Könighofer, Georg Hofferek & Roderick Bloem (2013):
Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies.
STTT 15(5-6),
pp. 563–583,
doi:10.1007/s10009-011-0221-y.
Dexter Kozen (1983):
Results on the Propositional mu-Calculus.
Theor. Comput. Sci. 27,
pp. 333–354,
doi:10.1016/0304-3975(82)90125-6.
Hadas Kress-Gazit, Georgios E. Fainekos & George J. Pappas (2009):
Temporal-Logic-Based Reactive Mission and Motion Planning.
IEEE Trans. Robotics 25(6),
pp. 1370–1381,
doi:10.1109/TRO.2009.2030225.
Gary T. Leavens, Shigeru Chiba & Éric Tanter (2013):
Transactions on Aspect-Oriented Software Development X.
Lecture Notes in Computer Science 7800.
Springer,
doi:10.1007/978-3-642-36964-3.
Shahar Maoz, Or Pistiner & Jan Oliver Ringert (2016):
Symbolic BDD and ADD Algorithms for Energy Games.
In: Piskac & Dimitrova,
pp. 35–54,
doi:10.4204/EPTCS.229.5.
Shahar Maoz & Jan Oliver Ringert (2015):
GR(1) synthesis for LTL specification patterns.
In: Elisabetta Di Nitto, Mark Harman & Patrick Heymans: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015.
ACM,
pp. 96–106,
doi:10.1145/2786805.2786824.
Shahar Maoz & Jan Oliver Ringert (2015):
Synthesizing a Lego Forklift Controller in GR(1): A Case Study.
In: Proc. 4th Workshop on Synthesis, SYNT 2015 colocated with CAV 2015,
EPTCS 202,
pp. 58–72,
doi:10.4204/EPTCS.202.5.
Shahar Maoz & Jan Oliver Ringert (2016):
On well-separation of GR(1) specifications.
In: Thomas Zimmermann, Jane Cleland-Huang & Zhendong Su: Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016.
ACM,
pp. 362–372,
doi:10.1145/2950290.2950300.
Shahar Maoz & Yaniv Sa'ar (2011):
AspectLTL: an aspect language for LTL specifications.
In: Paulo Borba & Shigeru Chiba: AOSD.
ACM,
pp. 19–30,
doi:10.1145/1960275.1960280.
Shahar Maoz & Yaniv Sa'ar (2012):
Assume-Guarantee Scenarios: Semantics and Synthesis.
In: MODELS,
LNCS 7590.
Springer,
pp. 335–351,
doi:10.1007/978-3-642-33666-9_22.
Shahar Maoz & Yaniv Sa'ar (2013):
Two-Way Traceability and Conflict Debugging for AspectLTL Programs.
T. Aspect-Oriented Software Development,
pp. 39–72,
doi:10.1007/978-3-642-36964-3_2.
Ruzica Piskac & Rayna Dimitrova (2016):
Proceedings Fifth Workshop on Synthesis, SYNT at CAV 2016, Toronto, Canada, July 17-18, 2016.
EPTCS 229,
doi:10.4204/EPTCS.229.
Nir Piterman, Amir Pnueli & Yaniv Sa'ar (2006):
Synthesis of Reactive(1) Designs.
In: VMCAI,
pp. 364–380,
doi:10.1007/11609773_24.
Amir Pnueli & Roni Rosner (1989):
On the Synthesis of a Reactive Module.
In: POPL.
ACM Press,
pp. 179–190,
doi:10.1145/75277.75293.
Amir Pnueli, Yaniv Sa'ar & Lenore D. Zuck (2010):
JTLV: A Framework for Developing Verification Algorithms.
In: CAV,
LNCS 6174.
Springer,
pp. 171–174,
doi:10.1007/978-3-642-14295-6_18.
Leonid Ryzhyk & Adam Walker (2016):
Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned.
In: Piskac & Dimitrova,
pp. 84–99,
doi:10.4204/EPTCS.229.8.
Matthias Schlaipfer, Georg Hofferek & Roderick Bloem (2011):
Generalized Reactivity(1) Synthesis without a Monolithic Strategy.
In: Kerstin Eder, João Lourenço & Onn Shehory: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers,
Lecture Notes in Computer Science 7261.
Springer,
pp. 20–34,
doi:10.1007/978-3-642-34188-5_6.
Fabio Somenzi:
CUDD: BDD package, University of Colorado, Boulder..
http://vlsi.colorado.edu/~fabio/CUDD/cudd.pdf.
Adam Walker & Leonid Ryzhyk (2014):
Predicate abstraction for reactive synthesis.
In: Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014.
IEEE,
pp. 219–226,
doi:10.1109/FMCAD.2014.6987617.
Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan & Fabio Somenzi (1998):
A Performance Study of BDD-Based Model Checking.
In: Ganesh Gopalakrishnan & Phillip J. Windley: Formal Methods in Computer-Aided Design, Second International Conference, FMCAD '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings,
Lecture Notes in Computer Science 1522.
Springer,
pp. 255–289,
doi:10.1007/3-540-49519-3_18.
Andreas Zeller (1999):
Yesterday, My Program Worked. Today, It Does Not. Why?.
In: ESEC/FSE,
LNCS 1687.
Springer,
pp. 253–267,
doi:10.1007/3-540-48166-4_16.
Andreas Zeller & Ralf Hildebrandt (2002):
Simplifying and Isolating Failure-Inducing Input.
IEEE Trans. Software Eng. 28(2),
pp. 183–200,
doi:10.1109/32.988498.