An application of constraint-based task specification and estimation for sensor-based robot systems | IEEE Conference Publication | IEEE Xplore