On the Complexity of Temporal-Logic Path Checking.

Daniel Bundala Joël Ouaknine

Published in: ICALP (2) (2014)

Keyphrases

temporal logic
model checking
verification method
satisfiability problem
modal logic
concurrent systems
belief revision
linear temporal logic
decision problems
computation tree logic
search algorithm
computational complexity
mazurkiewicz traces