HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Keith Clark

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

Keyphrases

Teleo-reactive programs, temporal logic, verification.

Copyright © 2012-2025 easychair.org. All rights reserved.