Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops (Q3297595)
From MaRDI portal
!
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 7222926
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops |
scientific article; zbMATH DE number 7222926 |
Statements
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops (English)
0 references
20 July 2020
0 references
0 references
0 references
0 references
0 references
0 references
0.8999809
0 references
0.8962822
0 references
0.8961022
0 references
0.8958312
0 references
0.88931036
0 references
0.88846934
0 references
0.88846016
0 references
0.8848526
0 references
0.87729317
0 references
