Determinization of Büchi Automata : Unifying the Approaches of Safra and Muller-Schupp
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: 10.4230/LIPIcs.ICALP.2019.120
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2019
- Creator
- DOI
-
10.18154/RWTH-2019-06468
- URN
-
urn:nbn:de:101:1-2021032315115693220099
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:26 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Löding, Christof
- Pirogov, Anton
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2019
Other Objects (12)
UNITY and Büchi automata
Buffered Simulation for Büchi Automata
Simulation relations for alternating Büchi automata
Partially ordered two-way Büchi automata
Simulation Relations for Alternating Büchi Automata
From LTL to unambiguous Büchi automata via disambiguation of alternating automata
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Determinization and ambiguity of classical and probabilistic Büchi automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Werte, Qualität und Innovation : Entstehung und Entwicklung der Büchi Labortechnik : Walter Büchi, Eugen Büchi, Reinhard Büchi
Büchi 2
UNITY and Büchi automata
Buffered Simulation for Büchi Automata
Simulation relations for alternating Büchi automata
Partially ordered two-way Büchi automata
Simulation Relations for Alternating Büchi Automata
From LTL to unambiguous Büchi automata via disambiguation of alternating automata
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Determinization and ambiguity of classical and probabilistic Büchi automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Werte, Qualität und Innovation : Entstehung und Entwicklung der Büchi Labortechnik : Walter Büchi, Eugen Büchi, Reinhard Büchi
Büchi 2
UNITY and Büchi automata
Buffered Simulation for Büchi Automata
Simulation relations for alternating Büchi automata
Partially ordered two-way Büchi automata
Simulation Relations for Alternating Büchi Automata
From LTL to unambiguous Büchi automata via disambiguation of alternating automata
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Determinization and ambiguity of classical and probabilistic Büchi automata
Kleene-Schützenberger and Büchi theorems for weighted timed automata
Werte, Qualität und Innovation : Entstehung und Entwicklung der Büchi Labortechnik : Walter Büchi, Eugen Büchi, Reinhard Büchi