Details for the publication ChiTLZ27.

Zhiming Chi, Andrea Turrini, Yong Li, Lijun Zhang: Scenario-Based Risk Certificates for Multi-Property Vulnerability Discovery in Parametric MDPs. In VMCAI'27, 2027. URL