Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces.

Paul Gastin Dietrich Kuske

Published in: Fundam. Informaticae (2007)

Keyphrases

mazurkiewicz traces
satisfiability problem
temporal logic
np complete
search algorithm
automata theoretic
model checking
phase transition
propositional logic
modal logic
decision procedures
concurrent systems
bounded model checking
video sequences
computational complexity