Index appearance record with preorders

Dokumenttyp:: Zeitschriftenaufsatz
Autor(en):: Křetínský, Jan; Meggendorfer, Tobias; Waldmann, Clara; Weininger, Maximilian
Nicht-TUM Koautoren:: ja
Kooperation:: international
Titel:: Index appearance record with preorders
Abstract:: Transforming {\$}{\$}{\backslash}omega {\$}{\$}-automata into parity automata is traditionally done using appearance records. We present an efficient variant of this idea, tailored to Rabin automata, and several optimizations applicable to all appearance records. We compare the methods experimentally and show that our method produces significantly smaller automata than previous approaches.
Intellectual Contribution:: Discipline-based Research
Zeitschriftentitel:: Acta Informatica
Journal gelistet in FT50 Ranking:: nein
Jahr:: 2021
Volltext / DOI:: doi:10.1007/s00236-021-00412-y
Verlag / Institution:: Springer Science and Business Media LLC
E-ISSN:: 0001-59031432-0525
Publikationsdatum:: 30.12.2021
Urteilsbesprechung:: 0
Key publication:: Nein
Peer reviewed:: Ja
commissioned:: not commissioned
Technology:: Nein
Interdisziplinarität:: Ja
Leitbild:: ;
Ethics und Sustainability:: Nein
BibTeX