Rajeev Alur
Aditya Kanade
Gera Weiss
2008
Ranking Automata and Games for Prioritized Requirements
Computer Aided Verification (CAV'08)
LNCS
5123
Springer
240–253
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
Exploring New Frontiers of Theoretical Informatics / Theoretical Computer Science (IFIP/TCS'04)
Kluwer
493–506
10.1007/1-4020-8141-3_38
Dietmar Berwanger
2007
Admissibility in Infinite Games
Symposium on Theoretical Aspects of Computer Science (STACS'07)
LNCS
4393
Springer
188–199
10.1007/978-3-540-70918-3_17
Andrea Bianco
Luca de Alfaro
1995
Model Checking of Probabalistic and Nondeterministic Systems
Foundations of Software Technology and Theoretical Computer Science (FSTTCS'95)
LNCS
1026
Springer
499–513
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
193–220
10.1007/s00236-013-0191-5
Roderick Bloem
Krishnendu Chatterjee
Thomas A. Henzinger
Barbara Jobstmann
2009
Better Quality in Synthesis through Quantitative Objectives
Computer Aided Verification (CAV'09)
LNCS
5643
Springer
140–156
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
Workshop on Synthesis (SYNT'12)
EPTCS
84
47–53
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
911–938
10.1016/j.jcss.2011.08.007
Romain Brenguier
Jean-François Raskin
Mathieu Sassolas
2014
The Complexity of Admissibility in Omega-Regular Games
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
Symposium on Theoretical Aspects of Computer Science (STACS'14)
LIPIcs
25
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
199–213
10.4230/LIPIcs.STACS.2014.199
Pavol Cerný
Thomas A. Henzinger
2011
From boolean to quantitative synthesis
International Conference on Embedded Software (EMSOFT'11)
ACM
149–154
10.1145/2038642.2038666
Krishnendu Chatterjee
Laurent Doyen
Emmanuel Filiot
Jean-François Raskin
2014
Doomsday Equilibria for Omega-Regular Games
Verification, Model Checking, and Abstract Interpretation (VMCAI'14)
LNCS
8318
Springer
78–97
10.1007/978-3-642-54013-4_5
Krishnendu Chatterjee
Thomas A. Henzinger
2007
Assume-Guarantee Synthesis
Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07)
LNCS
4424
Springer
261–275
10.1007/978-3-540-71209-1_21
Krishnendu Chatterjee
Thomas A. Henzinger
Barbara Jobstmann
2008
Environment Assumptions for Synthesis
Concurrency Theory (CONCUR'08)
LNCS
5201
Springer
147–161
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
Computer Aided Verification (CAV'10)
LNCS
6174
380–395
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
Logic of Programs
LNCS
131
Springer
52–71
10.1007/BFb0025774
Werner Damm
Bernd Finkbeiner
2014
Automatic Compositional Synthesis of Distributed Systems
Formal Methods (FM'14)
LNCS
8442
Springer
179–193
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
9
10.1145/2430536.2430543
Rüdiger Ehlers
2011
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis
NASA Formal Methods
LNCS
6617
Springer
101–115
10.1007/978-3-642-20398-5_9
Rüdiger Ehlers
Ufuk Topcu
2014
Resilience to intermittent assumption violations in reactive synthesis
Hybrid Systems: Computation and Control (HSCC'14)
ACM
203–212
10.1145/2562059.2562128
Christian von Essen
Barbara Jobstmann
2012
Synthesizing Efficient Controllers
Verification, Model Checking, and Abstract Interpretation (VMCAI'12)
LNCS
7148
Springer
428–444
10.1007/978-3-642-27940-9_28
Marco Faella
2007
Games You Cannot Win
Workshop on Games and Automata for Synthesis and Validation
Lausanne, Switzerland
Marco Faella
2009
Admissible Strategies in Infinite Games over Graphs
Mathematical Foundations of Computer Science (MFCS'09)
LNCS
5734
Springer
307–318
10.1007/978-3-642-03816-7_27
Bernd Finkbeiner
Sven Schewe
2005
Uniform Distributed Synthesis
Logic in Computer Science (LICS'05)
IEEE Computer Society
321–330
10.1109/LICS.2005.53
Dana Fisman
Orna Kupferman
Yoad Lustig
2010
Rational Synthesis
Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10)
LNCS
6015
Springer
190–204
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
Games, Automata, Logics and Formal Verification (GandALF'12)
EPTCS
96
15–28
10.4204/EPTCS.96.2
Uri Klein
Amir Pnueli
2010
Revisiting Synthesis of GR(1) Specifications
Haifa Verification Conference (HVC'10)
LNCS
6504
Springer
161–181
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
Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14)
LNCS
8413
Springer
470–484
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
2–9
10.1109/T-ED.1979.19370
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
Paulo Tabuada
Ayca Balkan
Sina Y. Caliskan
Yasser Shoukry
Rupak Majumdar
2012
Input-output robustness for discrete systems
International Conference on Embedded Software (EMSOFT'12)
ACM
217–226
10.1145/2380356.2380396
Ufuk Topcu
Necmiye Ozay
Jun Liu
Richard M. Murray
2012
On synthesizing robust discrete controllers under modeling uncertainty
Hybrid Systems: Computation and Control (HSCC'12)
ACM
85–94
10.1145/2185632.2185648
Michael Ummels
2006
Rational Behaviour and Strategy Construction in Infinite Multiplayer Games
Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06)
LNCS
4337
Springer
212–223
10.1007/11944836_21
Kai Weng Wong
Rüdiger Ehlers
Hadas Kress-Gazit
2014
Correct High-level Robot Behavior in Environments with Unexpected Events
Robotics: Science and Systems Conference (RSS'14)
IEEE
To appear.