- Sprache
-
Englisch
- Identifier
-
1233428500
- Beteiligte Personen und Organisationen
- DOI
-
10.18154/RWTH-2021-03668
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 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.
Objekttyp
- Monografie
Beteiligte
- Veltri, Dario
- Moerman, Joshua
- Katoen, Joost-Pieter
- Noll, Thomas
Ähnliche Objekte (12)
Probabilistic and nondeterministic unary automata
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning
Increasing Coupling of Probabilistic Cellular Automata
Increasing coupling for probabilistic cellular automata
High-level Counterexamples for Probabilistic Automata
Alternative Automata-based Approaches to Probabilistic Model Checking
Alternative automata-based approaches to probabilistic model checking
Non monotonic learning automata
Inferring probabilistic automata from sensor data for robot navigation
Determinization and ambiguity of classical and probabilistic Büchi automata
New results on probabilistic verification : automata, logic and satisfiability
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Probabilistic and nondeterministic unary automata
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning
Increasing Coupling of Probabilistic Cellular Automata
Increasing coupling for probabilistic cellular automata
High-level Counterexamples for Probabilistic Automata
Alternative Automata-based Approaches to Probabilistic Model Checking
Alternative automata-based approaches to probabilistic model checking
Non monotonic learning automata
Inferring probabilistic automata from sensor data for robot navigation
Determinization and ambiguity of classical and probabilistic Büchi automata
New results on probabilistic verification : automata, logic and satisfiability
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Probabilistic and nondeterministic unary automata
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning
Increasing Coupling of Probabilistic Cellular Automata
Increasing coupling for probabilistic cellular automata
High-level Counterexamples for Probabilistic Automata
Alternative Automata-based Approaches to Probabilistic Model Checking
Alternative automata-based approaches to probabilistic model checking
Non monotonic learning automata
Inferring probabilistic automata from sensor data for robot navigation
Determinization and ambiguity of classical and probabilistic Büchi automata
New results on probabilistic verification : automata, logic and satisfiability