Towards formal synthesis of reactive controllers for dexterous robotic manipulation.

Sandeep Chinchali, Scott C. Livingston, Ufuk Topcu, Joel W. Burdick, Richard M. Murray

Browse the full ICRA paper archive.