Rajeev Alur, Dana Fisman, Rishabh Singh & Armando Solar-Lezama (2015):
Results and Analysis of SyGuS-Comp 15,
doi:10.4204/EPTCS.202.3.
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.
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.
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.
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.
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.
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.
Swen Jacobs & Felix Klein (2016):
A High-Level LTL Synthesis Format: TLSF v1.1 (Extended Version).
Available at http://arxiv.org/abs/1604.02284.
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.
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.
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.
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.
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.
Mukund Raghothaman & Abhishek Udupa (2014):
Language to Specify Syntax-Guided Synthesis Problems.
Available at http://arxiv.org/abs/1405.5590.
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.
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.
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.