Published November 30, 2021 | Version v1
Software Open

Experiments for Convex Optimization for Parameter Synthesis in MDPs

Creators

  • 1. UT Austin
  • 2. Radboud University
  • 3. RWTH Aachen University

Description

Experiments for TAC paper Convex Optimization for Parameter Synthesis in MDPs

Files

pMDPsynthesis-main.zip

Files (19.3 MB)

Name Size Download all
md5:06b09e46875ee5f2b47e3f028e76cce6
19.3 MB Preview Download