| No. |
Title |
Author |
Year |
| 1 |
Safety and Liveness of Quantitative Automata |
Boker, Udi et al. |
2023 |
| 2 |
Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk) |
Boker, Udi |
2022 |
| 3 |
Discounted-Sum Automata with Multiple Discount Factors |
Boker, Udi et al. |
2021 |
| 4 |
History Determinism vs. Good for Gameness in Quantitative Automata |
Boker, Udi et al. |
2021 |
| 5 |
On the Succinctness of Alternating Parity Good-For-Games Automata |
Boker, Udi et al. |
2020 |
| 6 |
Parametrized Universality Problems for One-Counter Nets |
Almagor, Shaull et al. |
2020 |
| 7 |
Good for Games Automata: From Nondeterminism to Alternation |
Boker, Udi et al. |
2019 |
| 8 |
How Deterministic are Good-For-Games Automata? |
Boker, Udi et al. |
2018 |
| 9 |
On the Way to Alternating Weak Automata |
Boker, Udi et al. |
2018 |
| 10 |
Rabin vs. Streett Automata |
Boker, Udi |
2018 |
| 11 |
On the (In)Succinctness of Muller Automata |
Boker, Udi |
2017 |
| 12 |
Families of DFAs as Acceptors of omega-Regular Languages |
Angluin, Dana et al. |
2016 |
| 13 |
Approximate Determinization of Quantitative Automata |
Boker, Udi et al. |
2012 |
| 14 |
Determinizing Discounted-Sum Automata |
Boker, Udi et al. |
2011 |
| 15 |
Parityizing Rabin and Streett |
Boker, Udi et al. |
2010 |
