Exact quantitative probabilistic model checking through rational search (Q2225475)
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: Exact quantitative probabilistic model checking through rational search |
scientific article; zbMATH DE number 7307315
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Exact quantitative probabilistic model checking through rational search |
scientific article; zbMATH DE number 7307315 |
Statements
Exact quantitative probabilistic model checking through rational search (English)
0 references
8 February 2021
0 references
exact quantitative model checking
0 references
Markov decision processes
0 references
Markov chains
0 references
probabilistic systems
0 references
0 references
0.7702051997184753
0 references
0.7685585618019104
0 references
0.7589408159255981
0 references
