Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Teleo-reactive programs
Publications
Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs
Keith Clark
,
Brijesh Dongol
and
Peter Robinson
EasyChair Preprint 1491
Copyright © 2012-2024 easychair.org. All rights reserved.
