Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke. Profile trees for Büchi word automata, with application to determinization. Inf. Comput., 245:136-151, 2015. [doi]
@article{FogartyKVW15,
title = {Profile trees for Büchi word automata, with application to determinization},
author = {Seth Fogarty and Orna Kupferman and Moshe Y. Vardi and Thomas Wilke},
year = {2015},
doi = {10.1016/j.ic.2014.12.021},
url = {http://dx.doi.org/10.1016/j.ic.2014.12.021},
researchr = {https://researchr.org/publication/FogartyKVW15},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {245},
pages = {136-151},
}