1 |
Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk)
|
|
Boker, Udi. - : LIPIcs - Leibniz International Proceedings in Informatics. 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), 2022
|
|
BASE
|
|
Show details
|
|
2 |
Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk) ...
|
|
Boker, Udi. - : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022
|
|
BASE
|
|
Show details
|
|
3 |
On Succinctness and Recognisability of Alternating Good-for-Games Automata ...
|
|
|
|
BASE
|
|
Show details
|
|
4 |
On the Succinctness of Alternating Parity Good-for-Games Automata ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
On the Succinctness of Alternating Parity Good-For-Games Automata ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Approximate Determinization of Quantitative Automata
|
|
Boker, Udi; Henzinger, Thomas A.. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. : LIPIcs - Leibniz International Proceedings in Informatics. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), 2012
|
|
BASE
|
|
Show details
|
|
|
|