Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces.

Paul Gastin Dietrich Kuske

Published in: CONCUR (2005)

Keyphrases

mazurkiewicz traces
satisfiability problem
temporal logic
np complete
search algorithm
model checking
sat problem
phase transition
max sat
pspace complete
stochastic local search algorithms
modal logic
sat instances
stochastic local search
np hard
conjunctive normal form
concurrent systems
reinforcement learning