Automatic verification of Golog programs via predicate abstraction

DOI10.3233/978-1-61499-672-9-760zbMATH Open1403.68129MaRDI QIDQ4576210FDOQ4576210

Authors: Peiming Mo, Naiqi Li, Yong-Mei Liu 

Publication date: 12 July 2018

Recommendations

• Verification of Golog programs over description logic actions
• On the verification of very expressive temporal properties of non-terminating Golog programs
• Verifying CTL\(^\ast\) properties of \textsc{Golog} programs over local-effect actions
• Predicate abstraction for program verification
• Decidable verification of decision-theoretic Golog

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (4)

• Title not available (Why is that?)
• Situation calculus for controller synthesis in manufacturing systems with first-order state representation
• On the verification of very expressive temporal properties of non-terminating Golog programs
• Verifying CTL\(^\ast\) properties of \textsc{Golog} programs over local-effect actions

Uses Software

• GOLOG

This page was built for publication: Automatic verification of Golog programs via predicate abstraction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4576210)