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]
Abstract is missing.