An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata.

Salomon Sickert, Javier Esparza

Browse the full LICS paper archive.