Login / Signup
The Complexity of Generalized Satisfiability for Linear Temporal Logic.
Michael Bauland
Thomas Schneider
Henning Schnoor
Ilka Schnoor
Heribert Vollmer
Published in:
Electron. Colloquium Comput. Complex. (2006)
Keyphrases
</>
linear temporal logic
bounded model checking
temporal logic
computational complexity
satisfiability problem
np complete
decision problems
propositional logic
model checking
evaluation function