Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions.

Benjamin Zarrieß Jens Claßen

Published in: ECAI (2014)

Keyphrases

model checking
situation calculus
decision theoretic
temporal properties
temporal logic
plan recognition
desirable properties
agent programming
initial state
reasoning about actions
imperative programs
computer programs
preference criteria