From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata

Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz. From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. ISSE, 18(3):385-403, 2022. [doi]

Abstract

Abstract is missing.