Constructing Deterministic Parity Automata from Positive and Negative Examples
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Constructing Deterministic Parity Automata from Positive and Negative Examples ; volume:3 ; year:2024
TheoretiCS ; 3 (2024)
- Klassifikation
-
Informatik
- Urheber
- Beteiligte Personen und Organisationen
-
RWTH Aachen University, Ahornstr. 55, 52074 Aachen, Germany
- DOI
-
10.46298/theoretics.24.17
- URN
-
urn:nbn:de:101:1-2501271106076.166067086311
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:23 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Bohn, Leon
- Löding, Christof
- RWTH Aachen University, Ahornstr. 55, 52074 Aachen, Germany
Ähnliche Objekte (12)
Constructing Deterministic Parity Automata from Positive and Negative Examples
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Deterministic set automata
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
State Space Reduction For Parity Automata
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Minimization of Deterministic Fuzzy Tree Automata
Deterministic automata for extended regular expressions
Constructing Fuzzy Graphs from Examples
Constructing Deterministic Parity Automata from Positive and Negative Examples
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Deterministic set automata
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
State Space Reduction For Parity Automata
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Minimization of Deterministic Fuzzy Tree Automata
Deterministic automata for extended regular expressions
Constructing Fuzzy Graphs from Examples
Constructing Deterministic Parity Automata from Positive and Negative Examples
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
Deterministic set automata
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
State Space Reduction For Parity Automata
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Minimization of Deterministic Fuzzy Tree Automata
Deterministic automata for extended regular expressions