(:notitlegroup:)
@inproceedings{snyder2016, title = {ROS-IvP: Porting the Interval Programming suite into the Robot Operating System for maritime autonomy}, booktitle = {OCEANS 2016 MTS/IEEE Monterey}, author = {Mark Snyder and Joshua N. Weaver and Matthew J. Bays}, pages = {1--6}, year = {2016}}