Verifying CTL^ properties of \textsc{Golog} programs over local-effect actions
From MaRDI portal
Publication:5283053
zbMATH Open1366.68028MaRDI QIDQ5283053FDOQ5283053
Authors: Benjamin Zarrieß, Jens Claßen 
Publication date: 18 July 2017
Full work available at URL: http://ebooks.iospress.nl/volumearticle/37063
Recommendations
- Decidable verification of decision-theoretic Golog
- Verification of Golog programs over description logic actions
- On the verification of very expressive temporal properties of non-terminating Golog programs
- Situation calculus meets description logics
- Automatic verification of Golog programs via predicate abstraction
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (9)
- cc-Golog - An Action Language with Continuous Change
- Local conditional high-level robot programs
- Automatic verification of Golog programs via predicate abstraction
- Verification of Golog programs over description logic actions
- On the verification of very expressive temporal properties of non-terminating Golog programs
- First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus
- Decidable verification of decision-theoretic Golog
- Situation calculus meets description logics
- Non-terminating processes in the situation calculus
This page was built for publication: Verifying CTL\(^\ast\) properties of \textsc{Golog} programs over local-effect actions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283053)
