Reachability in parametric interval Markov chains using constraints (Q1786613)
From MaRDI portal
scientific article; zbMATH DE number 7105887
- Reachability in Parametric Interval Markov Chains Using Constraints
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reachability in parametric interval Markov chains using constraints |
scientific article; zbMATH DE number 7105887 |
|
Statements
Reachability in parametric interval Markov chains using constraints (English)
0 references
Reachability in Parametric Interval Markov Chains Using Constraints (English)
0 references
24 September 2018
0 references
17 September 2019
0 references
Markov chains
0 references
abstract models
0 references
reachability
0 references
parameter synthesis
0 references
constraint programming
0 references
