S.C. Livingston, R.M. Murray. Hot-swapping robot task goals in reactive formal synthesis. in Proceedings of IEEE Conf. on Decision and Control (CDC), pp. 101–107, Dec 2014. [Caltech CDS tech report]. DOI:10.1109/CDC.2014.7039366

S.C. Livingston, P. Prabhakar, A.B. Jose, and R.M. Murray. Patching task-level robot controllers based on a local μ-calculus formula. in Proceedings of IEEE Int'l Conf. on Robotics and Automation (ICRA), pp. 4573–4580, May 2013. DOI:10.1109/ICRA.2013.6631229

R. Bloem, B. Jobstmann, N. Piterman, A. Pnueli, and Y. Sa'ar (2012). Synthesis of Reactive(1) designs. Journal of Computer and System Sciences, 78: 911–938. DOI:10.1016/j.jcss.2011.08.007

Y. Kesten, N. Piterman, and A. Pnueli (2005). Bridging the gap between fair simulation and trace inclusion. Information and Computation, 200: 35–61. DOI:10.1016/j.ic.2005.01.006