Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2023 easychair.org. All rights reserved.