Min-max Computation Tree Logic.

Pallab Dasgupta P. P. Chakrabarti Jatindra Kumar Deka Sriram Sankaranarayanan

Published in: Artif. Intell. (2001)

Keyphrases

min max
computation tree logic
model checking
temporal logic
bounded model checking
epistemic logic
max min
formal specification
modal logic
formal verification
symbolic model checking
temporal properties
satisfiability problem
belief revision
transition systems
linear temporal logic
np hard