Unified Constraint-Based Task Specification for Complex Sensor-Based Robot Systems | IEEE Conference Publication | IEEE Xplore