On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs.

Jens Claßen Gerhard Lakemeyer

Published in: ECAI (2010)

Keyphrases

temporal properties
model checking
formal methods
agent programming
temporal logic
formal specification
situation calculus
symbolic execution
decision theoretic
artificial intelligence
mental states
possibility theory
fuzzy sets
dynamic logic
hardware designs