Geoffrey Biggs, Bruce A. MacDonald. Specifying Robot Reactivity in Procedural Languages. In 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China. pages 3735-3740, IEEE, 2006. [doi]
Abstract is missing.