601 followers
#NewPaper 'Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs' by Keith Clark, Brijesh Dongol, and Peter Robinson https://t.co/tU9aq3estF
#NewPaper 'Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs' by Keith Clark, Brijesh Dongol, and Peter Robinson https://t.co/tU9aq3estF