On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions.

Antonio Casares

Browse the full CSL paper archive.