HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor 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.