Andrew J. Martignoni III, William D. Smart. Behavior construction and refinement from high-level specifications. In Douglas W. Gage, editor, Mobile Robots XVII, Philadelphia, PA, USA, October 25, 2004. Volume 5609 of SPIE Proceedings, pages 289-297, SPIE, 2002. [doi]
@inproceedings{MartignoniS02-0,
title = {Behavior construction and refinement from high-level specifications},
author = {Andrew J. Martignoni III and William D. Smart},
year = {2002},
doi = {10.1117/12.568865},
url = {http://dx.doi.org/10.1117/12.568865},
researchr = {https://researchr.org/publication/MartignoniS02-0},
cites = {0},
citedby = {0},
pages = {289-297},
booktitle = {Mobile Robots XVII, Philadelphia, PA, USA, October 25, 2004},
editor = {Douglas W. Gage},
volume = {5609},
series = {SPIE Proceedings},
publisher = {SPIE},
isbn = {978-0-8194-5562-8},
}