No. Title Author Year
1 Half-Positional Objectives Recognized by Deterministic B├╝chi Automata Bouyer, Patricia et al. 2022
2 On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions Casares, Antonio 2022
3 On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games Casares, Antonio et al. 2022
4 Optimal Transformations of Games and Automata Using Muller Conditions Casares, Antonio et al. 2021
Current Page :
Number of result pages: 1
Number of documents: 4

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI