No. Title Author Year
1 A Brief History of History-Determinism (Invited Talk) Lehtinen, Karoliina 2023
2 History-Deterministic Parikh Automata Erlich, Enzo et al. 2023
3 History-Deterministic Timed Automata Henzinger, Thomas A. et al. 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 Parikh Automata over Infinite Words Guha, Shibashis et al. 2022
6 A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct Guha, Shibashis et al. 2021
7 History Determinism vs. Good for Gameness in Quantitative Automata Boker, Udi et al. 2021
8 The Best a Monitor Can Do Aceto, Luca et al. 2021
9 On the Succinctness of Alternating Parity Good-For-Games Automata Boker, Udi et al. 2020
10 Alternating Weak Automata from Universal Trees Daviaud, Laure et al. 2019
11 Good for Games Automata: From Nondeterminism to Alternation Boker, Udi et al. 2019
12 On the Way to Alternating Weak Automata Boker, Udi et al. 2018
13 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: 13

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