- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
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
- Schlagwort
-
Theoretische Informatik
Kongress
Preßburg <2003>
Online-Publikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Frankfurt am Main
- (wer)
-
Universitätsbibliothek Johann Christian Senckenberg
- (wann)
-
2003
- Urheber
- URN
-
urn:nbn:de:hebis:30-44876
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:53 MEZ
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
- Gramlich, Gregor
- Universitätsbibliothek Johann Christian Senckenberg
Entstanden
- 2003
Ähnliche Objekte (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