@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}
}