Finding Polynomial Loop Invariants for Probabilistic Programs (Q5096098)
From MaRDI portal
scientific article; zbMATH DE number 7571437
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finding Polynomial Loop Invariants for Probabilistic Programs |
scientific article; zbMATH DE number 7571437 |
Statements
Finding Polynomial Loop Invariants for Probabilistic Programs (English)
0 references
12 August 2022
0 references
