no code implementations • 20 Jun 2022 • Christophe Stammet, Prisca Dotti, Ulrich Ultes-Nitsche, Andreas Fischer
B\"uchi Automata on infinite words present many interesting problems and are used frequently in program verification and model checking.