Behavior construction and refinement from high-level specifications

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.