A Resolution Method For CTL Branching-Time Temporal Logic.

Alexander Bolotov Michael Fisher

Published in: TIME (1997)

Keyphrases

temporal logic
model checking
temporal resolution
verification method
transition systems
reinforcement learning
dynamic programming
belief revision
temporal knowledge
temporal properties
bounded model checking
computation tree logic