Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp.

Christof Löding Anton Pirogov

Published in: CoRR (2019)

Keyphrases

data sets
image processing
alternative approaches
web pages
website
case study
strengths and weaknesses