06 Nov 2026
Paper accepted at VMCAI'27
We are delighted that our paper about scenario-based risk certificates for multi-property vulnerability discovery in parametric MDPs, has been accepted at VMCAI’27.
We are delighted that our paper about scenario-based risk certificates for multi-property vulnerability discovery in parametric MDPs, has been accepted at VMCAI’27.