Related Tags
temporal-logic × 39linear-temporal-logic × 19
lo.logic × 18
model-checking × 18
automata-theory × 5
mu-calculus × 4
reference-request × 3
program-verification × 3
formal-methods × 2
modal-logic × 2
cc.complexity-theory × 1
fl.formal-languages × 1
time-complexity × 1
sat × 1
dependent-type × 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