Published June 21, 2019
| Version v1
Software
Open
Experiments for 'Are parametric Markov chains monotonic?'
Description
Artefact for the ATVA 2019 paper: Are parametric Markov chains monotonic?
Files
monotonic_parameters_ae.zip
Files
(953.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:310d3bf3a001e690046dbb1003160f01
|
953.1 MB | Preview Download |