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


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