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