Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties.

Alberto Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Browse the full CAV paper archive.