A clausal resolution method for CTL branching-time temporal logic.

Alexander Bolotov Michael Fisher

Published in: J. Exp. Theor. Artif. Intell. (1999)

Keyphrases

temporal logic
temporal resolution
model checking
verification method
dynamic programming
modal logic
reinforcement learning
high resolution
inductive logic programming
temporal properties
computation tree logic