Profile trees for Büchi word automata, with application to determinization (2013)

by Seth Fogarty, Orna Kupferman, Moshe Y Vardi, Thomas Wilke
Venue:In GandALF