Robert C. Kohout James A. Hendler David J. Musliner Guaranteeing Safety in Spatially Situated Agents. 909-914 1996 AAAI/IAAI, Vol. 2 db/conf/aaai/aaai96-2.html#KohoutHM96