- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Überarbeitete Fassung von: Branislav Rovan ; Peter Vojtáš (Hrsg.): Mathematical foundations of computer science 2003 : 28th international symposium ; proceedings, Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer, 2003, Lecture notes in computer science ; Vol. 2747, S. 460–469, ISBN: 978-3-540-40671-6, ISBN: 3-540-40671-9, ISBN: 978-3-540-45138-9, doi:10.1007/b11836
- Keyword
-
Theoretische Informatik
Kongress
Preßburg <2003>
Online-Publikation
- Event
-
Veröffentlichung
- (where)
-
Frankfurt am Main
- (who)
-
Universitätsbibliothek Johann Christian Senckenberg
- (when)
-
2003
- Creator
- URN
-
urn:nbn:de:hebis:30-44876
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:53 PM CET
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
- Gramlich, Gregor
- Universitätsbibliothek Johann Christian Senckenberg
Time of origin
- 2003
Other Objects (12)
Learning probabilistic automata with SMT solving
High-level Counterexamples for Probabilistic Automata
Increasing Coupling of Probabilistic Cellular Automata
Increasing coupling for probabilistic cellular automata
Determinization and ambiguity of classical and probabilistic Büchi automata
Convergence towards equilibrium of probabilistic cellular automata
New results on probabilistic verification : automata, logic and satisfiability
Abstraction and refinement of probabilistic automata using modal stochastic games
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning
Alternative automata-based approaches to probabilistic model checking
Alternative Automata-based Approaches to Probabilistic Model Checking
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Learning probabilistic automata with SMT solving
High-level Counterexamples for Probabilistic Automata
Increasing Coupling of Probabilistic Cellular Automata
Increasing coupling for probabilistic cellular automata
Determinization and ambiguity of classical and probabilistic Büchi automata
Convergence towards equilibrium of probabilistic cellular automata
New results on probabilistic verification : automata, logic and satisfiability
Abstraction and refinement of probabilistic automata using modal stochastic games
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning
Alternative automata-based approaches to probabilistic model checking
Alternative Automata-based Approaches to Probabilistic Model Checking
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Learning probabilistic automata with SMT solving
High-level Counterexamples for Probabilistic Automata
Increasing Coupling of Probabilistic Cellular Automata
Increasing coupling for probabilistic cellular automata
Determinization and ambiguity of classical and probabilistic Büchi automata
Convergence towards equilibrium of probabilistic cellular automata
New results on probabilistic verification : automata, logic and satisfiability
Abstraction and refinement of probabilistic automata using modal stochastic games
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning
Alternative automata-based approaches to probabilistic model checking
Alternative Automata-based Approaches to Probabilistic Model Checking