1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2026
PAC Approximation and DIRECT Optimization for Parametric Markov Models
Zhiming Chi, Ying Liu, Andrea Turrini +2
In this paper, we consider the parameter synthesis and optimization problem for parametric Markov decision processes (pMDPs), the extension of classical MDPs where exact probabilit…
cs.LO2023★ 1 cited
Scenario Approach for Parametric Markov Models
Ying Liu, Andrea Turrini, Moritz Hahn +2
In this paper, we propose an approximating framework for analyzing parametric Markov models. Instead of computing complex rational functions encoding the reachability probability a…