Experiments for 'Are parametric Markov chains monotonic?'

Published June 21, 2019 | Version v1

Software Open

Artefact for the ATVA 2019 paper: Are parametric Markov chains monotonic?

Files

Name	Size
monotonic_parameters_ae.zip md5:310d3bf3a001e690046dbb1003160f01	953.1 MB	Preview Download

222

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more