Author

Lijun Zhang

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

PAC Approximation and DIRECT Optimization for Parametric Markov Models

This paper adopts the scenario approach to efficiently synthesize a probably approximately correct PAC approximation, and integrates the DIRECT (DIviding RECTangles) algorithm for derivative-free global optimization over the parameter space.

Zhi-Ming Chi, Ying Liu, Andrea Turrini et al. · 0 citations