Related Tags
temporal-logic × 37lo.logic × 18
model-checking × 18
linear-temporal-logic × 17
automata-theory × 5
mu-calculus × 4
program-verification × 3
reference-request × 2
modal-logic × 2
cc.complexity-theory × 1
time-complexity × 1
sat × 1
tree × 1
proofs × 1
arithmetic-circuits × 1
semantics × 1
complexity × 1
decidability × 1
concurrency × 1
approximation × 1
automated-theorem-proving × 1
markov-chains × 1
formal-methods × 1
topology × 1
linear-logic × 1