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

MaRDI QIDQ5283053zbMATHFDO

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)

• Situation calculus meets description logics
• cc-Golog - An Action Language with Continuous Change
• Decidable verification of decision-theoretic Golog
• On the verification of very expressive temporal properties of non-terminating Golog programs
• Non-terminating processes in the situation calculus
• Local conditional high-level robot programs
• First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus
• Automatic verification of Golog programs via predicate abstraction
• Verification of Golog programs over description logic actions

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)