No. Title Author Year
1 History-Deterministic Timed Automata Henzinger, Thomas A. et al. 2022
2 On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games Casares, Antonio et al. 2022
3 A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct Guha, Shibashis et al. 2021
4 History Determinism vs. Good for Gameness in Quantitative Automata Boker, Udi et al. 2021
5 The Best a Monitor Can Do Aceto, Luca et al. 2021
6 On the Succinctness of Alternating Parity Good-For-Games Automata Boker, Udi et al. 2020
7 Alternating Weak Automata from Universal Trees Daviaud, Laure et al. 2019
8 Good for Games Automata: From Nondeterminism to Alternation Boker, Udi et al. 2019
9 On the Way to Alternating Weak Automata Boker, Udi et al. 2018
10 Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction Lehtinen, Karoliina et al. 2015
Current Page :
Number of result pages: 1
Number of documents: 10

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