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