642 followers
#arXiv #cs_LO "From LTL and Limit-Deterministic B\"uchi Automata to Deterministic Parity Automata. (arXiv:1701.061… https://t.co/9sRAqiA8Kd
#arXiv #cs_LO "From LTL and Limit-Deterministic B\"uchi Automata to Deterministic Parity Automata. (arXiv:1701.061… https://t.co/9sRAqiA8Kd