Real-reward testing for probabilistic processes (extended abstract) (Q4965811)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 7318977
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Real-reward testing for probabilistic processes (extended abstract) |
scientific article; zbMATH DE number 7318977 |
Statements
10 March 2021
0 references
0.9949336647987366
0 references
0.895922064781189
0 references
0.7847917079925537
0 references
0.7779260873794556
0 references
0.775845468044281
0 references
