Sandeep Chinchali, Scott C. Livingston, Ufuk Topcu, Joel W. Burdick, Richard M. Murray. Towards formal synthesis of reactive controllers for dexterous robotic manipulation. In IEEE International Conference on Robotics and Automation, ICRA 2012, 14-18 May, 2012, St. Paul, Minnesota, USA. pages 5183-5189, IEEE, 2012. [doi]