|
[PLSVS13]
Alberto Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia.
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties.
In Proc. 25th International Conference on Computer Aided Verification (CAV'13).
2013.
[Develops techniques for verification of MDPs with convex uncertainties, implemented through an interface to PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|