Benutzer: Gast  Login
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 
Verlag / Institution:
Springer Science and Business Media LLC 
E-ISSN:
0001-59031432-0525 
Publikationsdatum:
30.12.2021 
Key publication:
Nein 
Peer reviewed:
Ja 
commissioned:
not commissioned 
Technology:
Nein 
Interdisziplinarität:
Ja 
Leitbild:
Ethics & Sustainability:
Nein