References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. Dexter Kozen (1983): Results on the Propositional mu-Calculus. Theor. Comput. Sci. 27, pp. 333–354, doi:10.1016/0304-3975(82)90125-6.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. Nir Piterman, Amir Pnueli & Yaniv Sa'ar (2006): Synthesis of Reactive(1) Designs. In: VMCAI, pp. 364–380, doi:10.1007/11609773_24.
  27. Amir Pnueli & Roni Rosner (1989): On the Synthesis of a Reactive Module. In: POPL. ACM Press, pp. 179–190, doi:10.1145/75277.75293.
  28. 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.
  29. 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.
  30. 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.
  31. Fabio Somenzi: CUDD: BDD package, University of Colorado, Boulder.. http://vlsi.colorado.edu/~fabio/CUDD/cudd.pdf.
  32. 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.
  33. 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.
  34. 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.
  35. 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.
  36. SYNTECH GR(1) Performance Website. http://smlab.cs.tau.ac.il/syntech/performance/.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org