(: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}}