On the Succinctness of Alternating Parity Good-for-Games Automata
(se abrirá en una nueva ventana)
Autores:
Boker, Udi; Kuperberg, Denis; Lehtinen, Karoliina; Skrzypczak, Michał
Publicado en:
40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), 2020, Página(s) 41:1--41:13, ISBN 978-3-95977-174-0
Editor:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.fsttcs.2020.41
Good-for-games ω-Pushdown Automata
(se abrirá en una nueva ventana)
Autores:
Karoliina Lehtinen, Martin Zimmermann
Publicado en:
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Página(s) 689-702, ISBN 9781450371049
Editor:
ACM
DOI:
10.1145/3373718.3394737
The Best a Monitor Can Do
(se abrirá en una nueva ventana)
Autores:
Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ingolfsdottir and Karoliina Lehtinen
Publicado en:
29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021, Página(s) 7:1--7:23, ISBN 978-3-95977-175-7
Editor:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.csl.2021.7