Enea Scioni, Gianni Borghesan, Herman Bruyninckx, Marcello Bonfé. A framework for formal specification of robotic constraint-based tasks and their concurrent execution with online qos monitoring. In 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago, IL, USA, September 14-18, 2014. pages 2963-2969, IEEE, 2014. [doi]
Abstract is missing.