zweidimensionales bewegtes Bild
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning
- Location
-
Hannover TIB
- Extent
-
449MB, 00:18:27:13 (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)
- Event
-
Veröffentlichung
- (who)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (when)
-
2021-01-01
- Contributor
-
Hahn, Ernst Moritz
- DOI
-
10.5446/55020
- 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
- Hahn, Ernst Moritz
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Time of origin
- 2021-01-01
Other Objects (12)
High-level Counterexamples for Probabilistic Automata
Increasing coupling for probabilistic cellular automata
Inferring probabilistic automata from sensor data for robot navigation
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Probabilistic and nondeterministic unary 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
Increasing Coupling of Probabilistic Cellular Automata
Learning probabilistic automata with SMT solving
Convergence towards equilibrium of probabilistic cellular automata
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Alternative automata-based approaches to probabilistic model checking
High-level Counterexamples for Probabilistic Automata
Increasing coupling for probabilistic cellular automata
Inferring probabilistic automata from sensor data for robot navigation
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Probabilistic and nondeterministic unary 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
Increasing Coupling of Probabilistic Cellular Automata
Learning probabilistic automata with SMT solving
Convergence towards equilibrium of probabilistic cellular automata
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Alternative automata-based approaches to probabilistic model checking
High-level Counterexamples for Probabilistic Automata
Increasing coupling for probabilistic cellular automata
Inferring probabilistic automata from sensor data for robot navigation
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Probabilistic and nondeterministic unary 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
Increasing Coupling of Probabilistic Cellular Automata
Learning probabilistic automata with SMT solving
Convergence towards equilibrium of probabilistic cellular automata
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata