Details for the publication ChiLT0J25.

Zhiming Chi, Ying Liu, Andrea Turrini, Lijun Zhang, David N. Jansen (): A Scenario Approach for Parametric Markov Decision Processes. In Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II, volume 15261 of Lecture Notes in Computer Science, pages 234-266, 2025. DOI BIB