Published June 4, 2024 | Version v1
Software Open

Code for: Analyzing Value Functions of States in Parametric Markov Chains

Description

This is the version of the tool that is released along with the 2024 paper titled "Analyzing Value Functions of States in
Parametric Markov Chains".

Files

never-worse-relation-paper_2024.zip

Files (65.3 MB)

Name Size Download all
md5:6cc076312623f738fd156b2fc49e07f9
65.3 MB Preview Download

Additional details

Software

Repository URL
https://github.com/kasperengelen/never-worse-relation
Programming language
Python