A framework for formal specification of robotic constraint-based tasks and their concurrent execution with online qos monitoring.

Enea Scioni, Gianni Borghesan, Herman Bruyninckx, Marcello Bonf

Browse the full IROS paper archive.