
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.


coremsg

optimal-transformations-of-deterministic-and-history-deterministic-muller-automata-into-parity-and-rabin-automata


Optimal Transformations of Deterministic and History-Deterministic Muller Automata into Parity and Rabin Automata
