@inproceedings(sygusExtended,
 author       = {Rajeev Alur and Rastislav Bodik and Eric Dallal and Dana Fisman and Pranav Garg and Garvit Juniwal and Kress-Gazit, Hadas and P. Madhusudan and Milo MK Martin and Mukund Raghothaman and Shamwaditya Saha and Sanjit A Seshia and Rishabh Singh and Solar-Lezama, Armando and Emina Torlak and Abhishek Udupa},
 year         = {2014},
 title        = {Syntax-guided synthesis},
 url          = {https://www.researchgate.net/publication/273883744_Syntax-Guided_Synthesis},
)
@inproceedings(sygus,
 author       = {Rajeev Alur and Rastislav Bodik and Garvit Juniwal and Milo MK Martin and Mukund Raghothaman and Sanjit A Seshia and Rishabh Singh and Solar-Lezama, Armando and Emina Torlak and Abhishek Udupa},
 year         = {2013},
 title        = {Syntax-guided synthesis},
 booktitle    = {Formal Methods in Computer-Aided Design (FMCAD), 2013},
 organization = {IEEE},
 pages        = {1--17},
 doi          = {10.1109/FMCAD.2013.6679385},
)
@inproceedings(sygus2015,
 author       = {Rajeev Alur and Dana Fisman and Rishabh Singh and Solar-Lezama, Armando},
 year         = {2015},
 title        = {Results and Analysis of {SyGuS-Comp} 15},
 doi          = {10.4204/EPTCS.202.3},
)
@inproceedings(motionPrimitives,
 author       = {Rajeev Alur and Salar Moarref and Ufuk Topcu},
 year         = {2016},
 title        = {Compositional Synthesis with Parametric Reactive Controllers},
 booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control},
 series       = {HSCC '16},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {215--224},
 doi          = {10.1145/2883817.2883842},
)
@article(srd,
 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      = {Journal of Computer and System Sciences},
 volume       = {78},
 number       = {3},
 pages        = {911 -- 938},
 doi          = {10.1016/j.jcss.2011.08.007},
 note         = {In Commemoration of Amir Pnueli},
)
@inproceedings(reactive,
 author       = {Jonathan A. DeCastro and Alonso-Mora, Javier and Vasu Raman and Daniela Rus and Kress-Gazit, Hadas},
 year         = {2015},
 title        = {Collision-Free Reactive Mission and Motion Planning for Multi-Robot Systems},
 booktitle    = {Proceedings of the International Symposium on Robotics Research (ISRR)},
 address      = {Sestri Levante, Italy},
 url          = {https://www.researchgate.net/publication/281935003_Collision-Free_Reactive_Mission_and_Motion_Planning_for_Multi-Robot_Systems},
)
@misc(slugs,
 author       = {R{\"u}diger Ehlers and Cameron Finucane and Vasumathi Raman},
 year         = {2013},
 title        = {Slugs {GR}(1) Synthesizer},
 howpublished = {\url{http://github.com/ltlmop/slugs}},
)
@inproceedings(multiParadigm,
 author       = {Ioannis Filippidis and Richard M. Murray and Gerard J. Holzmann},
 year         = {2015},
 title        = {A multi-paradigm language for reactive synthesis},
 booktitle    = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco, CA, USA, 18th July 2015},
 pages        = {73--97},
 doi          = {10.4204/EPTCS.202.6},
)
@article(boundedSynthesis,
 author       = {Bernd Finkbeiner and Sven Schewe},
 year         = {2013},
 title        = {Bounded synthesis},
 journal      = {International Journal on Software Tools for Technology Transfer},
 volume       = {15},
 number       = {5-6},
 pages        = {519--539},
 doi          = {10.1007/s10009-012-0228-z},
)
@inproceedings(hungSMT,
 author       = {William N. N. Hung and Xiaoyu Song and Jindong Tan and Xiaojuan Li and Jie Zhang and Rui Wang and Peng Gao},
 year         = {2014},
 title        = {Motion planning with Satisfiability Modulo Theories},
 booktitle    = {2014 {IEEE} International Conference on Robotics and Automation, {ICRA} 2014, Hong Kong, China, May 31 - June 7, 2014},
 pages        = {113--118},
 doi          = {10.1109/ICRA.2014.6906597},
)
@article(syntcomp,
 author       = {Swen Jacobs and Roderick Bloem and Romain Brenguier and R{\"{u}}diger Ehlers and Timotheus Hell and Robert K{\"{o}}nighofer and Guillermo A. P{\'{e}}rez and Jean{-}Fran{\c{c}}ois Raskin and Leonid Ryzhyk and Ocan Sankur and Martina Seidl and Leander Tentrup and Adam Walker},
 year         = {2015},
 title        = {The First Reactive Synthesis Competition {(SYNTCOMP} 2014)},
 doi          = {10.1007/s10009-016-0416-3},
)
@article(TLSF,
 author       = {Swen Jacobs and Felix Klein},
 year         = {2016},
 title        = {A High-Level {LTL} Synthesis Format: {TLSF} v1.1 (Extended Version)},
 url          = {http://arxiv.org/abs/1604.02284},
)
@techreport(juniwal,
 author       = {Garvit Juniwal},
 year         = {2012},
 title        = {Reactive Synthesis using Sketching},
 type         = {Technical Report},
 institution  = {UC Berkeley},
 url          = {https://people.eecs.berkeley.edu/~garvitjuniwal/CS219C-garvit-juniwal-report},
)
@inproceedings(specificationFormat,
 author       = {Ayrat Khalimov},
 year         = {2015},
 title        = {Specification Format for Reactive Synthesis Problems},
 booktitle    = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco, CA, USA, 18th July 2015},
 pages        = {112--119},
 doi          = {10.4204/EPTCS.202.8},
)
@article(temporalLogic,
 author       = {Kress-Gazit, H. and G. E. Fainekos and G. J. Pappas},
 year         = {2009},
 title        = {Temporal-Logic-Based Reactive Mission and Motion Planning},
 journal      = {Trans. Rob.},
 volume       = {25},
 number       = {6},
 pages        = {1370--1381},
 doi          = {10.1109/TRO.2009.2030225},
)
@article(functional,
 author       = {Viktor Kuncak and Mika\"{e}l Mayer and Ruzica Piskac and Philippe Suter},
 year         = {2010},
 title        = {Complete Functional Synthesis},
 journal      = {SIGPLAN Not.},
 volume       = {45},
 number       = {6},
 pages        = {316--329},
 doi          = {10.1145/1809028.1806632},
)
@misc(gr1c,
 author       = {S. C. Livingston},
 year         = {2013},
 title        = {gr1c {GR}(1) Synthesizer},
 url          = {http://github.com/slivingston/gr1c},
)
@inproceedings(LivingstonM,
 author       = {Scott C. Livingston and Richard M. Murray},
 year         = {2013},
 title        = {Just-in-time synthesis for reactive motion planning with temporal logic},
 booktitle    = {Proceedings of the IEEE International Conference on Robotics and Automation ({ICRA})},
 address      = {Karlsruhe, Germany},
 pages        = {5033--5038},
 doi          = {10.1109/ICRA.2013.6631298},
)
@inproceedings(nedunuri2014smt,
 author       = {Srinivas Nedunuri and Sailesh Prabhu and Mark Moll and Swarat Chaudhuri and Lydia E Kavraki},
 year         = {2014},
 title        = {{SMT}-based synthesis of integrated task and motion plans from plan outlines},
 booktitle    = {Robotics and Automation (ICRA), 2014 IEEE International Conference on},
 organization = {IEEE},
 pages        = {655--662},
 doi          = {10.1109/ICRA.2014.6906924},
)
@article(sygusSpec,
 author       = {Mukund Raghothaman and Abhishek Udupa},
 year         = {2014},
 title        = {Language to Specify Syntax-Guided Synthesis Problems},
 url          = {http://arxiv.org/abs/1405.5590},
)
@inproceedings(saha2014,
 author       = {Indranil Saha and Rattanachai Ramaithitima and Vijay Kumar and George J Pappas and Sanjit A Seshia},
 year         = {2014},
 title        = {Automated composition of motion primitives for multi-robot systems from safe LTL specifications},
 booktitle    = {Intelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on},
 organization = {IEEE},
 pages        = {1525--1532},
 doi          = {10.1109/IROS.2014.6942758},
)
@inproceedings(saha2016,
 author       = {Indranil Saha and Rattanachai Ramaithitima and Vijay Kumar and George J Pappas and Sanjit A Seshia},
 year         = {2016},
 title        = {Implan: A Scalable Incremental Motion Planning Framework for Multi-Robot Systems},
 booktitle    = {International Conference on Cyber-Physical Systems (ICCPS 2016), 2016},
 organization = {ACM},
 doi          = {10.1109/ICCPS.2016.7479105},
)
@misc(enumerative,
 author       = {Abhishek Udupa},
 year         = {2015},
 title        = {Enumerative {SyGuS} Solver},
 url          = {https://github.com/rishabhs/sygus-comp14/tree/master/solvers/enumerative/esolver-synth-lib},
)
@article(recedingHorizon,
 author       = {Tichakorn Wongpiromsarn and Ufuk Topcu and Richard M. Murray},
 year         = {2012},
 title        = {Receding Horizon Temporal Logic Planning.},
 journal      = {IEEE Transactions on Automatic Control},
 volume       = {57},
 number       = {11},
 pages        = {2817--2830},
 doi          = {10.1109/TAC.2012.2195811},
 url          = {http://dblp.uni-trier.de/db/journals/tac/tac57.html#WongpiromsarnTM12},
)
@inproceedings(yoshida,
 author       = {Eiichi Yoshida and Kazuhito Yokoi and Pierre Gergondet},
 year         = {2010},
 title        = {Online replanning for reactive robot motion: Practical aspects},
 booktitle    = {2010 {IEEE/RSJ} International Conference on Intelligent Robots and Systems, October 18-22, 2010, Taipei, Taiwan},
 pages        = {5927--5933},
 doi          = {10.1109/IROS.2010.5649645},
)