Salomon Sickert, Javier Esparza. An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata. In Holger Hermanns, Lijun Zhang 0001, Naoki Kobayashi 0001, Dale Miller 0001, editors, LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020. pages 831-844, ACM, 2020. [doi]
Abstract is missing.