References

  1. Rajeev Alur, Aditya Kanade & Gera Weiss (2008): Ranking Automata and Games for Prioritized Requirements. In: Computer Aided Verification (CAV'08), LNCS 5123. Springer, pp. 240–253, doi:10.1007/978-3-540-70545-1_23.
  2. Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig & Frank Ciesinski (2004): Controller Synthesis for Probabilistic Systems. In: Exploring New Frontiers of Theoretical Informatics / Theoretical Computer Science (IFIP/TCS'04). Kluwer, pp. 493–506, doi:10.1007/1-4020-8141-3_38.
  3. Dietmar Berwanger (2007): Admissibility in Infinite Games. In: Symposium on Theoretical Aspects of Computer Science (STACS'07), LNCS 4393. Springer, pp. 188–199, doi:10.1007/978-3-540-70918-3_17.
  4. Andrea Bianco & Luca de Alfaro (1995): Model Checking of Probabalistic and Nondeterministic Systems. In: Foundations of Software Technology and Theoretical Computer Science (FSTTCS'95), LNCS 1026. Springer, pp. 499–513, doi:10.1007/3-540-60692-0_70.
  5. Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer & Robert Könighofer (2014): Synthesizing robust systems. Acta Inf. 51(3-4), pp. 193–220, doi:10.1007/s00236-013-0191-5.
  6. Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger & Barbara Jobstmann (2009): Better Quality in Synthesis through Quantitative Objectives. In: Computer Aided Verification (CAV'09), LNCS 5643. Springer, pp. 140–156, doi:10.1007/978-3-642-02658-4_14.
  7. Roderick Bloem, Hans-Jürgen Gamauf, Georg Hofferek, Bettina Könighofer & Robert Könighofer (2012): Synthesizing Robust Systems with RATSY. In: Workshop on Synthesis (SYNT'12), EPTCS 84, pp. 47–53, doi:10.4204/EPTCS.84.4.
  8. 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.
  9. Romain Brenguier, Jean-François Raskin & Mathieu Sassolas (2014): The Complexity of Admissibility in Omega-Regular Games. In: Computer Science Logic / Logic in Computer Science (CSL-LICS'14). IEEE. To appear..
  10. Véronique Bruyère, Emmanuel Filiot, Mickael Randour & Jean-François Raskin (2014): Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. In: Symposium on Theoretical Aspects of Computer Science (STACS'14), LIPIcs 25. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 199–213, doi:10.4230/LIPIcs.STACS.2014.199.
  11. Pavol Cerný & Thomas A. Henzinger (2011): From boolean to quantitative synthesis. In: International Conference on Embedded Software (EMSOFT'11). ACM, pp. 149–154, doi:10.1145/2038642.2038666.
  12. Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot & Jean-François Raskin (2014): Doomsday Equilibria for Omega-Regular Games. In: Verification, Model Checking, and Abstract Interpretation (VMCAI'14), LNCS 8318. Springer, pp. 78–97, doi:10.1007/978-3-642-54013-4_5.
  13. Krishnendu Chatterjee & Thomas A. Henzinger (2007): Assume-Guarantee Synthesis. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), LNCS 4424. Springer, pp. 261–275, doi:10.1007/978-3-540-71209-1_21.
  14. Krishnendu Chatterjee, Thomas A. Henzinger & Barbara Jobstmann (2008): Environment Assumptions for Synthesis. In: Concurrency Theory (CONCUR'08), LNCS 5201. Springer, pp. 147–161, doi:10.1007/978-3-540-85361-9_14.
  15. Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann & Rohit Singh (2010): Measuring and Synthesizing Systems in Probabilistic Environments. In: Computer Aided Verification (CAV'10), LNCS 6174, pp. 380–395, doi:10.1007/978-3-642-14295-6_34.
  16. Edmund M. Clarke & E. Allen Emerson (1981): Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. In: Logic of Programs, LNCS 131. Springer, pp. 52–71, doi:10.1007/BFb0025774.
  17. Werner Damm & Bernd Finkbeiner (2014): Automatic Compositional Synthesis of Distributed Systems. In: Formal Methods (FM'14), LNCS 8442. Springer, pp. 179–193, doi:10.1007/978-3-319-06410-9_13.
  18. N. D'Ippolito, V. A. Braberman, N. Piterman & S. Uchitel (2013): Synthesizing nonanomalous event-based controllers for liveness goals. ACM Trans. Softw. Eng. Methodol. 22(1), pp. 9, doi:10.1145/2430536.2430543.
  19. 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.
  20. Rüdiger Ehlers & Ufuk Topcu (2014): Resilience to intermittent assumption violations in reactive synthesis. In: Hybrid Systems: Computation and Control (HSCC'14). ACM, pp. 203–212, doi:10.1145/2562059.2562128.
  21. Christian von Essen & Barbara Jobstmann (2012): Synthesizing Efficient Controllers. In: Verification, Model Checking, and Abstract Interpretation (VMCAI'12), LNCS 7148. Springer, pp. 428–444, doi:10.1007/978-3-642-27940-9_28.
  22. Marco Faella (2007): Games You Cannot Win. In: Workshop on Games and Automata for Synthesis and Validation, Lausanne, Switzerland.
  23. Marco Faella (2009): Admissible Strategies in Infinite Games over Graphs. In: Mathematical Foundations of Computer Science (MFCS'09), LNCS 5734. Springer, pp. 307–318, doi:10.1007/978-3-642-03816-7_27.
  24. Bernd Finkbeiner & Sven Schewe (2005): Uniform Distributed Synthesis. In: Logic in Computer Science (LICS'05). IEEE Computer Society, pp. 321–330, doi:10.1109/LICS.2005.53.
  25. Dana Fisman, Orna Kupferman & Yoad Lustig (2010): Rational Synthesis. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10), LNCS 6015. Springer, pp. 190–204, doi:10.1007/978-3-642-12002-2_16.
  26. Chung-Hao Huang, Doron Peled, Sven Schewe & Farn Wang (2012): Rapid Recovery for Systems with Scarce Faults. In: Games, Automata, Logics and Formal Verification (GandALF'12), EPTCS 96, pp. 15–28, doi:10.4204/EPTCS.96.2.
  27. Uri Klein & Amir Pnueli (2010): Revisiting Synthesis of GR(1) Specifications. In: Haifa Verification Conference (HVC'10), LNCS 6504. Springer, pp. 161–181, doi:10.1007/978-3-642-19583-9_16.
  28. Wenchao Li, Dorsa Sadigh, S. Shankar Sastry & Sanjit A. Seshia (2014): Synthesis for Human-in-the-Loop Control Systems. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14), LNCS 8413. Springer, pp. 470–484, doi:10.1007/978-3-642-54862-8_40.
  29. T.C. May & Murray H. Woods (1979): Alpha-particle-induced soft errors in dynamic memories. Electron Devices, IEEE Transactions on 26(1), pp. 2–9, doi:10.1109/T-ED.1979.19370.
  30. Amir Pnueli & Roni Rosner (1990): Distributed Reactive Systems Are Hard to Synthesize. In: Foundations of Computer Science (FOCS'90). IEEE Computer Society, pp. 746–757, doi:10.1109/FSCS.1990.89597.
  31. Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry & Rupak Majumdar (2012): Input-output robustness for discrete systems. In: International Conference on Embedded Software (EMSOFT'12). ACM, pp. 217–226, doi:10.1145/2380356.2380396.
  32. Ufuk Topcu, Necmiye Ozay, Jun Liu & Richard M. Murray (2012): On synthesizing robust discrete controllers under modeling uncertainty. In: Hybrid Systems: Computation and Control (HSCC'12). ACM, pp. 85–94, doi:10.1145/2185632.2185648.
  33. Michael Ummels (2006): Rational Behaviour and Strategy Construction in Infinite Multiplayer Games. In: Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), LNCS 4337. Springer, pp. 212–223, doi:10.1007/11944836_21.
  34. Kai Weng Wong, Rüdiger Ehlers & Hadas Kress-Gazit (2014): Correct High-level Robot Behavior in Environments with Unexpected Events. In: Robotics: Science and Systems Conference (RSS'14). IEEE. To appear..

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