Login / Signup
The Complexity of Generalized Satisfiability for Linear Temporal Logic
Michael Bauland
Thomas Schneider
Henning Schnoor
Ilka Schnoor
Heribert Vollmer
Published in:
Log. Methods Comput. Sci. (2009)
Keyphrases
</>
linear temporal logic
bounded model checking
computational complexity
temporal logic
model checking
satisfiability problem
knowledge base
np complete
propositional logic
learning algorithm
reinforcement learning
general purpose