Published May 9, 2023 | Version paper
Software Open

kasperengelen/never-worse-relation: Version for the 2023 paper

Creators

  • 1. University of Antwerp

Description

This is the version of the tool that is released along with the 2023 paper titled "Graph-Based Reductions for Parametric and Weighted MDPs".

Files

kasperengelen/never-worse-relation-paper.zip

Files (25.8 MB)

Name Size Download all
md5:5647de6f867e6d15960e15d53a75bd60
25.8 MB Preview Download

Additional details

Related works

Is supplement to
https://github.com/kasperengelen/never-worse-relation/tree/paper (URL)