@techreport{ben13,
    title     = {MOOS-IvP Autonomy Tools Users Manual Release 13.2},
    author    = {Michael R. Benjamin},
    institution = {MIT Computer Science and Artificial Intelligence Lab, www.moos-ivp.org/docs/},
    month     = {February},
    year      = {2013}}