Christof Löding, Anton Pirogov: New Optimizations and Heuristics for Determinization of Büchi Automata. ATVA 2019: 317-333