Published May 4, 2022
| Version v1
Software
Open
Finding Provably Optimal Markov Chains (Artifact)
- 1. RWTH Aachen University
- 2. University of California
Description
This upload is a VM containing the artifact accompanying our TACAS'21 paper "Finding Provably Optimal Markov Chains".
Documentation of how to use and extend the tool or reproduce the paper's experiments is found in the README.
Notes
Supported by DFG RTG 2236 "UnRAVeL" and ERC AdG 787914 FRAPPANT.
Supported by the NSF grants 1545126 (VeHICaL) and 1646208, by the DARPA Assured Autonomy program, by Berkeley Deep Drive, and by Toyota under the iCyPhy center.