@inproceedings{schermerhornscheutz10icra, title={Using Logic to Handle Conflicts between System, Component, and Infrastructure Goals in Complex Robotic Architectures}, author={Paul Schermerhorn and Matthias Scheutz}, year={2010}, month={May}, booktitle={Proceedings of the 2010 International Conference on Robotics and Automation}, url={https://hrilab.tufts.edu/publications/schermerhornscheutz10icra.pdf} }