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]
@article{JohnJBK22,
title = {From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata},
author = {Tobias John and Simon Jantsch and Christel Baier and Sascha Klüppelholz},
year = {2022},
doi = {10.1007/s11334-022-00445-7},
url = {https://doi.org/10.1007/s11334-022-00445-7},
researchr = {https://researchr.org/publication/JohnJBK22},
cites = {0},
citedby = {0},
journal = {ISSE},
volume = {18},
number = {3},
pages = {385-403},
}