Robot programs with sensing actions: Specification and implementation (1995)

by Hector J Levesque
Venue:In preparation