zweidimensionales bewegtes Bild
Polynomial Identification of $\omega$-Automata
- Standort
-
Hannover TIB
- Umfang
-
36MB, 00:22:35:14 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)
- Schlagwort
-
verification
omega-regular languages
identification in the limit
grammatical inference
characteristic sets
passive automata learning
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Fisman, Dana
- DOI
-
10.5446/55019
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Fisman, Dana
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Relationship between Alternating omega-Automata and Symbolically Represented Nondeterministic omega-Automata
Simulation-based simplification of omega-automata
Singleton Acceptance Conditions in omega-Automata
Identification of cellular automata: theoretical remarks
Transformation Between Regular Expressions and omega-Automata
Identification and method of moments estimation in polynomial measurement error models
Polynomial representations of GrT, simple polynomial modules and polynomial parts of Auslander-Reiten components
Products of automata
Polynomial representations of GLn
OMEGa | OMEGA
Polynomial convexity
Polynomial mappings
Relationship between Alternating omega-Automata and Symbolically Represented Nondeterministic omega-Automata
Simulation-based simplification of omega-automata
Singleton Acceptance Conditions in omega-Automata
Identification of cellular automata: theoretical remarks
Transformation Between Regular Expressions and omega-Automata
Identification and method of moments estimation in polynomial measurement error models
Polynomial representations of GrT, simple polynomial modules and polynomial parts of Auslander-Reiten components
Products of automata
Polynomial representations of GLn
OMEGa | OMEGA
Polynomial convexity
Polynomial mappings
Relationship between Alternating omega-Automata and Symbolically Represented Nondeterministic omega-Automata
Simulation-based simplification of omega-automata
Singleton Acceptance Conditions in omega-Automata
Identification of cellular automata: theoretical remarks
Transformation Between Regular Expressions and omega-Automata
Identification and method of moments estimation in polynomial measurement error models
Polynomial representations of GrT, simple polynomial modules and polynomial parts of Auslander-Reiten components
Products of automata
Polynomial representations of GLn
OMEGa | OMEGA
Polynomial convexity