Keyword:Teleo-reactive programs

Papers
Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs Keith Clark, Brijesh Dongol and Peter Robinson EasyChair Preprint no. 1491