Index appearance record with preorders

Document type:: Zeitschriftenaufsatz
Author(s):: Křetínský, Jan; Meggendorfer, Tobias; Waldmann, Clara; Weininger, Maximilian
Non-TUM Co-author(s):: ja
Cooperation:: international
Title:: 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
Journal title:: Acta Informatica
Journal listet in FT50 ranking:: nein
Year:: 2021
Fulltext / DOI:: doi:10.1007/s00236-021-00412-y
Publisher:: Springer Science and Business Media LLC
E-ISSN:: 0001-59031432-0525
Date of publication:: 30.12.2021
Judgement review:: 0
Key publication:: Nein
Peer reviewed:: Ja
Commissioned:: not commissioned
Technology:: Nein
Interdisciplinarity:: Ja
Mission statement:: ;
Ethics and Sustainability:: Nein
BibTeX