Login / Signup
On the Complexity of Path Checking of Temporal Logics.
Daniel Bundala
Joël Ouaknine
Published in:
CoRR (2013)
Keyphrases
</>
temporal logic
model checking
verification method
mazurkiewicz traces
modal logic
satisfiability problem
temporal knowledge
belief revision
predicate logic
concurrent systems
linear temporal logic
artificial intelligence
formal representation
decision problems
shortest path
conp complete
computational complexity