Related Tags
linear-temporal-logic × 36temporal-logic × 18
lo.logic × 12
model-checking × 8
automata-theory × 7
reference-request × 3
fl.formal-languages × 2
regular-language × 2
algebra × 2
program-verification × 2
omega-language × 2
time-complexity × 1
proofs × 1
complexity × 1
decidability × 1
nondeterminism × 1
coq × 1
dfa × 1
automated-theorem-proving × 1
markov-chains × 1
formal-methods × 1
formal-modeling × 1
logic-programming × 1
nfa × 1
resolution × 1