Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs.

Keith Clark, Brijesh Dongol, Peter Robinson

Browse the full FM paper archive.