User: Guest  Login
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 
Publisher:
Springer Science and Business Media LLC 
E-ISSN:
0001-59031432-0525 
Date of publication:
30.12.2021 
Key publication:
Nein 
Peer reviewed:
Ja 
Commissioned:
not commissioned 
Technology:
Nein 
Interdisciplinarity:
Ja 
Mission statement:
Ethics and Sustainability:
Nein