Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes (Q3619461)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes |
scientific article; zbMATH DE number 5540623
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes |
scientific article; zbMATH DE number 5540623 |
Statements
Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes (English)
0 references
7 April 2009
0 references
0 references
0.8716233372688293
0 references
0.7731944918632507
0 references
0.7672828435897827
0 references
0.7656926512718201
0 references
0.7484610080718994
0 references
