Using logic to handle conflicts between system, component, and infrastructure goals in complex robotic architectures.

Paul W. Schermerhorn, Matthias Scheutz

Browse the full ICRA paper archive.