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