Verifying CTL^ properties of \textsc{Golog} programs over local-effect actions

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (6)

• cc-Golog - An Action Language with Continuous Change
• Local conditional high-level robot programs
• 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
• 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)