References

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

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org