Optimal Transformations of Deterministic and History-Deterministic Muller Automata into Parity and Rabin Automata
The paper presents optimal transformations of deterministic and history-deterministic Muller automata into equivalent deterministic parity automata and history-deterministic Rabin automata, while preserving the structural properties of the original automata.