Towards formal synthesis of reactive controllers for dexterous robotic manipulation

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]

@inproceedings{ChinchaliLTBM12,
  title = {Towards formal synthesis of reactive controllers for dexterous robotic manipulation},
  author = {Sandeep Chinchali and Scott C. Livingston and Ufuk Topcu and Joel W. Burdick and Richard M. Murray},
  year = {2012},
  doi = {10.1109/ICRA.2012.6225257},
  url = {http://dx.doi.org/10.1109/ICRA.2012.6225257},
  researchr = {https://researchr.org/publication/ChinchaliLTBM12},
  cites = {0},
  citedby = {0},
  pages = {5183-5189},
  booktitle = {IEEE International Conference on Robotics and Automation, ICRA 2012, 14-18 May, 2012, St. Paul, Minnesota, USA},
  publisher = {IEEE},
  isbn = {978-1-4673-1403-9},
}