Cited By
View all- Boker ULehtinen K(2023)When a Little Nondeterminism Goes a Long WayACM SIGLOG News10.1145/3584676.358468210:1(24-51)Online publication date: 14-Feb-2023
- Havlena VLengál OLi YŠmahlíková BTurrini A(2023)Modular Mix-and-Match Complementation of Büchi AutomataTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-031-30823-9_13(249-270)Online publication date: 22-Apr-2023
- John TJantsch SBaier CKlüppelholz S(2022)From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automataInnovations in Systems and Software Engineering10.1007/s11334-022-00445-718:3(385-403)Online publication date: 1-Sep-2022
- Show More Cited By