@inproceedings(Berwanger2007,
 author       = {Dietmar Berwanger},
 year         = {2007},
 title        = {Admissibility in Infinite Games},
 editor       = {Wolfgang Thomas and Pascal Weil},
 booktitle    = {STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {188--199},
 doi          = {10.1007/978-3-540-70918-3\_17},
)
@inproceedings(brenguier2015,
 author       = {Romain Brenguier and Jean-Fran{\c{c}}ois Raskin and Ocan Sankur},
 year         = {2015},
 title        = {{Assume-Admissible Synthesis}},
 booktitle    = {26th International Conference on Concurrency Theory (CONCUR 2015)},
 series       = {LIPIcs},
 volume       = {42},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 pages        = {100--113},
 doi          = {10.4230/LIPIcs.CONCUR.2015.100},
 url          = {http://arxiv.org/abs/1507.00623},
)
@incollection(buechi1990,
 author       = {J. Richard B\"uchi and Lawrence H. Landweber},
 year         = {1990},
 title        = {Solving Sequential Conditions by Finite-State Strategies},
 editor       = {Mac Lane, Saunders and Dirk Siefkes},
 booktitle    = {The Collected Works of J. Richard B\"uchi},
 publisher    = {Springer New York},
 pages        = {525--541},
 doi          = {10.1007/978-1-4613-8928-6\_29},
)
@incollection(AGS:2007,
 author       = {Krishnendu Chatterjee and Thomas A. Henzinger},
 year         = {2007},
 title        = {Assume-Guarantee Synthesis},
 editor       = {Tiziana Margaria and Wang Yi},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 series       = {LNCS},
 volume       = {4424},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {261--275},
 doi          = {10.1007/978-3-540-71209-1\_21},
)
@inproceedings(Chatterjee2008,
 author       = {Krishnendu Chatterjee and Thomas A. Henzinger and Barbara Jobstmann},
 year         = {2008},
 title        = {Environment Assumptions for Synthesis},
 booktitle    = {CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {5201},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {147--161},
 doi          = {10.1007/978-3-540-85361-9\_14},
)
@inproceedings(Church/63/Logic,
 author       = {Alonzo Church},
 year         = {1963},
 title        = {Logic, Arithmetic and Automata},
 booktitle    = {Proc. 1962 Intl. Congr. Math.},
 pages        = {23--25},
 doi          = {10.2307/2270398},
)
@inproceedings(Coogan2014,
 author       = {Samuel Coogan and M. Arcak},
 year         = {2014},
 title        = {Freeway traffic control from linear temporal logic specifications},
 booktitle    = {Cyber-Physical Systems (ICCPS), 2014 ACM/IEEE International Conference on},
 pages        = {36--47},
 doi          = {10.1109/ICCPS.2014.6843709},
)
@inproceedings(DammDHJPPSWW2007,
 author       = {Werner Damm and Stefan Disch and Hardi Hungar and Swen Jacobs and Jun Pang and Florian Pigorsch and Christoph Scholl and Uwe Waldmann and Boris Wirtz},
 year         = {2007},
 title        = {Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space},
 editor       = {Kedar S. Namjoshi and Tomohiro Yoneda and Teruo Higashino and Yoshio Okamura},
 booktitle    = {Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007},
 series       = {Lecture Notes in Computer Science},
 volume       = {4762},
 publisher    = {Springer},
 pages        = {425--440},
 doi          = {10.1007/978-3-540-75596-8\_30},
)
@inproceedings(ADEFH+01,
 author       = {Werner Damm and Stefan Disch and Hardi Hungar and Jun Pang and Florian Pigorsch and Christoph Scholl and Uwe Waldmann and Boris Wirtz},
 year         = {2006},
 title        = {Automatic verification of hybrid systems with large discrete state space},
 editor       = {Susanne Graf and Wenhui Zhang},
 booktitle    = {Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis},
 series       = {Lecture Notes in Computer Science},
 volume       = {4218},
 publisher    = {Springer-Verlag},
 pages        = {276--291},
 doi          = {10.1007/11901914\_22},
)
@inproceedings(damm+finkbeiner/2010/pay,
 author       = {Werner Damm and Bernd Finkbeiner},
 year         = {2011},
 title        = {Does It Pay to Extend the Perimeter of a World Model?},
 editor       = {Michael Butler and Wolfram Schulte},
 booktitle    = {FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {6664},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {12--26},
 doi          = {10.1007/978-3-642-21437-0\_4},
)
@incollection(df14,
 author       = {Werner Damm and Bernd Finkbeiner},
 year         = {2014},
 title        = {Automatic Compositional Synthesis of Distributed Systems},
 editor       = {Cliff Jones and Pekka Pihlajasaari and Jun Sun},
 booktitle    = {FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {8442},
 publisher    = {Springer International Publishing},
 pages        = {179--193},
 doi          = {10.1007/978-3-319-06410-9\_13},
)
@article(MSC:8951470,
 author       = {Werner Damm and Hans-J\"org Peter and Jan Rakow and Bernd Westphal},
 year         = {2013},
 title        = {Can we build it: formal synthesis of control strategies for cooperative driver assistance systems},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {23},
 pages        = {676--725},
 doi          = {10.1017/S0960129512000230},
)
@article(DPR-IJFCS07,
 author       = {Werner Damm and Guilherme Pinto and Stefan Ratschan},
 year         = {2007},
 title        = {Guaranteed Termination in the Verification of {LTL} Properties of Non-linear Robust Discrete Time Hybrid Systems},
 journal      = {Int. Journal of Foundations of Computer Science},
 volume       = {18},
 number       = {1},
 pages        = {63--86},
 doi          = {10.1142/S0129054107004577},
)
@incollection(Dzetkilc2011,
 author       = {Dzetkuli\v{c}, Tom\'{a}\v{s} and Stefan Ratschan},
 year         = {2011},
 title        = {Incremental Computation of Succinct Abstractions for Hybrid Systems},
 editor       = {Uli Fahrenberg and Stavros Tripakis},
 booktitle    = {Formal Modeling and Analysis of Timed Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {6919},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {271--285},
 doi          = {10.1007/978-3-642-24310-3\_19},
)
@misc(Faella2007,
 author       = {Marco Faella},
 year         = {2007},
 title        = {Games you cannot win},
 url          = {http://wpage.unina.it/m.faella/Download/games07.pdf},
 note         = {Workshop on Games and Automata for Synthesis and Validation, Lausanne, Switzerland},
)
@inproceedings(Faella2009,
 author       = {Marco Faella},
 year         = {2009},
 title        = {Admissible Strategies in Infinite Games over Graphs},
 editor       = {Kr{\'a}lovi{\v{c}}, Rastislav and Damian Niwi{\'{n}}ski},
 booktitle    = {Mathematical Foundations of Computer Science 2009: 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {307--318},
 doi          = {10.1007/978-3-642-03816-7\_27},
)
@techreport(ies_2010_frese_tr,
 author       = {Christian Frese},
 year         = {2010},
 title        = {A Comparison of Algorithms for Planning Cooperative Motions of Cognitive Automobiles},
 type         = {Technical Report},
 number       = {IES-2010-06},
 institution  = {Lehrstuhl f\"ur Interaktive Echtzeitsysteme},
 doi          = {10.5445/KSP/1000021181},
)
@incollection(Frese2010,
 author       = {Christian Frese and J\"urgen Beyerer},
 year         = {2010},
 title        = {Planning Cooperative Motions of Cognitive Automobiles Using Tree Search Algorithms},
 editor       = {R\"udiger Dillmann and J\"urgen Beyerer and Uwe D. Hanebeck and Tanja Schultz},
 booktitle    = {KI 2010: Advances in Artificial Intelligence},
 series       = {Lecture Notes in Computer Science},
 volume       = {6359},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {91--98},
 doi          = {10.1007/978-3-642-16111-7\_10},
)
@incollection(Kumar2006,
 author       = {Paul Gastin and Nathalie Sznajder and Marc Zeitoun},
 year         = {2006},
 title        = {Distributed Synthesis for Well-Connected Architectures},
 editor       = {Arun-Kumar, S. and Naveen Garg},
 booktitle    = {FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science},
 series       = {Lecture Notes in Computer Science},
 volume       = {4337},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {321--332},
 doi          = {10.1007/11944836\_30},
)
@book(E01,
 editor       = {Erich Gr\"adel and Wolfgang Thomas and {\unhbox\voidb@x \hbox{Th}}omas Wilke},
 year         = {2002},
 title        = {Automata, Logics, and Infinite Games},
 series       = {LNCS},
 volume       = {2500},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/3-540-36387-4},
)
@inproceedings(Liu2011,
 author       = {Lingyi Liu and David Sheridan and Viraj Athavale and Shobha Vasudevan},
 year         = {2011},
 title        = {Automatic generation of assertions from system level design using data mining},
 booktitle    = {Formal Methods and Models for Codesign (MEMOCODE), 2011 9th IEEE/ACM International Conference on},
 pages        = {191--200},
 doi          = {10.1109/MEMCOD.2011.5970526},
)
@incollection(Henzinger1998,
 author       = {John Lygeros and Nancy Lynch},
 year         = {1998},
 title        = {Strings of vehicles: Modeling and safety conditions},
 editor       = {Thomas A. Henzinger and Shankar Sastry},
 booktitle    = {Hybrid Systems: Computation and Control},
 series       = {Lecture Notes in Computer Science},
 volume       = {1386},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {273--288},
 doi          = {10.1007/3-540-64358-3\_45},
)
@incollection(Lygeros1997,
 author       = {John Lygeros and Claire Tomlin and Shankar Sastry},
 year         = {1997},
 title        = {Multiobjective hybrid controller synthesis},
 editor       = {Oded Maler},
 booktitle    = {Hybrid and Real-Time Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {1201},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {109--123},
 doi          = {10.1007/BFb0014720},
)
@inproceedings(Mickelin2014,
 author       = {Oscar Mickelin and Necmiye Ozay and Richard M. Murray},
 year         = {2014},
 title        = {Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information},
 booktitle    = {2014 American Control Conference},
 pages        = {2305--2311},
 doi          = {10.1109/ACC.2014.6859229},
)
@inproceedings(Pnueli:1989,
 author       = {Amir Pnueli and Roni Rosner},
 year         = {1989},
 title        = {On the Synthesis of a Reactive Module},
 booktitle    = {Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series       = {POPL '89},
 publisher    = {ACM},
 pages        = {179--190},
 doi          = {10.1145/75277.75293},
)
@inproceedings(Pnueli:1990,
 author       = {Amir Pnueli and Roni Rosner},
 year         = {1990},
 title        = {Distributed Reactive Systems Are Hard to Synthesize},
 booktitle    = {Proceedings of the 31st Annual Symposium on Foundations of Computer Science},
 series       = {SFCS '90},
 volume       = {2},
 publisher    = {IEEE Computer Society},
 pages        = {746--757},
 doi          = {10.1109/FSCS.1990.89597},
)
@book(rabin1972automata,
 author       = {M.O. Rabin},
 year         = {1972},
 title        = {Automata on Infinite Objects and Church's Problem},
 series       = {Conference Board of the mathematical science},
 publisher    = {Conference Board of the Mathematical Sciences},
 doi          = {10.1090/cbms/013},
)
@inproceedings(Richards2002,
 author       = {Arthur Richards and Jonathan P. How},
 year         = {2002},
 title        = {Aircraft trajectory planning with collision avoidance using mixed integer linear programming},
 booktitle    = {American Control Conference, 2002. Proceedings of the 2002},
 volume       = {3},
 pages        = {1936--1941},
 doi          = {10.1109/ACC.2002.1023918},
)
@inproceedings(Tomlin+others/98/Advanced,
 author       = {Claire J. Tomlin and George J. Pappas and Ko{\v{s}}eck{\'a}, Jana and John Lygeros and Shankar S. Sastry},
 year         = {1998},
 title        = {Advanced air traffic automation: A case study in distributed decentralized control},
 editor       = {Bruno Siciliano and Kimon P. Valavanis},
 booktitle    = {Control Problems in Robotics and Automation},
 publisher    = {Springer-Verlag},
 pages        = {261--295},
 doi          = {10.1007/BFb0015088},
)
@article(Wongpi2012,
 author       = {Tichakorn Wongpiromsarn and Ufuk. Topcu and Richard M. Murray},
 year         = {2012},
 title        = {Receding Horizon Temporal Logic Planning},
 journal      = {Automatic Control, IEEE Transactions on},
 volume       = {57},
 number       = {11},
 pages        = {2817--2830},
 doi          = {10.1109/TAC.2012.2195811},
)
@article(Wongpi2013,
 author       = {Tichakorn Wongpiromsarn and Ufuk Topcu and Richard M. Murray},
 year         = {2013},
 title        = {Synthesis of Control Protocols for Autonomous Systems},
 journal      = {Unmanned Systems},
 volume       = {01},
 number       = {01},
 pages        = {21--39},
 doi          = {10.1142/S2301385013500027},
)