- Location
-
Hannover TIB
- Extent
-
36MB, 00:22:35:14 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)
- Keyword
-
verification
omega-regular languages
identification in the limit
grammatical inference
characteristic sets
passive automata learning
- Event
-
Veröffentlichung
- (who)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (when)
-
2021-01-01
- Contributor
-
Fisman, Dana
- DOI
-
10.5446/55019
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Fisman, Dana
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Time of origin
- 2021-01-01
Other Objects (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