Using logic to handle conflicts between system, component, and infrastructure goals in complex robotic architectures | IEEE Conference Publication | IEEE Xplore