CTL update of Kripke models through protections.

Miguel Carrillo David A. Rosenblueth

Published in: Artif. Intell. (2014)

Keyphrases

minimal change
kripke models
action theories
temporal logic
modal logic
model checking
update operations
belief revision
situation calculus
computation tree logic
belief change
bounded model checking
temporal properties
expert systems
initial state
multistage
dynamic programming