One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Javier Esparza, Jan Kretínský, Salomon Sickert. One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata. In Anuj Dawar, Erich Grädel, editors, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018. pages 384-393, ACM, 2018. [doi]

This author has not been identified. Look up 'Javier Esparza' in GoogleThis author has not been identified. Look up 'Jan Kretínský' in GoogleThis author has not been identified. Look up 'Salomon Sickert' in Google

runs on WebDSL