Constructing Büchi automata from linear temporal logic using simulation relations for alternating bchi automata (2003)

by C Fritz
Venue:In Proc. 8th Intl. Conference on Implementation and Application of Automata, number 2759 in Lecture Notes in Computer Science