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.
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.
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.
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.
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.
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.
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.
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.
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..
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.
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.
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.
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.
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.
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.
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.
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.
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.
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 & 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.
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.
Marco Faella (2007):
Games You Cannot Win.
In: Workshop on Games and Automata for Synthesis and Validation,
Lausanne, Switzerland.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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..