TY  - RPRT
TI  - PAC Approximation and DIRECT Optimization for Parametric Markov Models
AU  - Zhiming Chi
AU  - Ying Liu
AU  - Andrea Turrini
AU  - Lijun Zhang
AU  - David N. Jansen
PY  - 2026
UR  - https://arxiv.org/abs/2608.02184
ID  - 2608.02184
ER  -