@inproceedings{ben03, title = {Multi-Objective Navigation and Control Using Interval Programming}, booktitle = {Proceedings of the Multi-Robot Systems Workshop}, author = {Michael R. Benjamin}, address = {NRL, Washington DC}, month = {March}, year = {2003}}