Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems (Q5002111)
From MaRDI portal
scientific article; zbMATH DE number 7375068
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems |
scientific article; zbMATH DE number 7375068 |
Statements
Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems (English)
0 references
26 July 2021
0 references
