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

MaRDI QIDQ5283053zbMATH OpenFDO

Authors Benjamin Zarrieß, Jens Claßen

Publication date 18 July 2017

Full work available at URL http://ebooks.iospress.nl/volumearticle/37063

Mathematics Subject Classification ID

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

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

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 -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)