Scenario Approach for Parametric Markov Models. - Ying Liu 048; Andrea Turrini; Ernst Moritz Hahn; Bai Xue 001; Lijun Zhang 001 (ATVA (1), 2023)

Artifact for the ATVA'23 paper "Scenario Approach for Parametric Markov Models". - Ying Liu 048; Andrea Turrini; Ernst Moritz Hahn; Bai Xue 001; Lijun Zhang 001 (Zenodo, 2023)

A Scenario Approach for Parametric Markov Decision Processes. - Zhiming Chi; Ying Liu 048; Andrea Turrini; Lijun Zhang 001; David N. Jansen (Principles of Verification (2), 2024)