Time window temporal logic.

Cristian Ioan Vasile Derya Aksaray Calin Belta

Published in: Theor. Comput. Sci. (2017)

Keyphrases

temporal logic
model checking
satisfiability problem
modal logic
mazurkiewicz traces
concurrent systems
computation tree logic
belief revision
predicate logic
reactive systems
transition systems
linear temporal logic
temporal knowledge
model checker
verification method
temporally extended