"Finding Provably Optimal Markov Chains (Artifact)."

Jip Spel, Sebastian Junges, Joost-Pieter Katoen (2022)

Details and statistics

DOI: 10.5281/ZENODO.6517128

access: open

type: Data or Artifact

metadata version: 2023-07-13

a service of  Schloss Dagstuhl - Leibniz Center for Informatics