A tableau-based decision procedure for CTL.

Published in: Formal Aspects Comput. (2011)

Keyphrases

decision making
temporal logic
decision makers
proof procedure
model checking
decision rules
description logics
real time
data sets
decision processes
rough sets
search engine
artificial intelligence
influence diagrams
theorem proving
making decisions
minimal change