Efficient Büchi Automata from LTL Formulae (2000)

by Fabio Somenzi, Roderick Bloem
Venue:CAV 2000, LNCS 1855:247–263