Publications
Filters: Author is Sedwards, Sean [Clear All Filters]
Smart sampling for lightweight verification of Markov decision processes”, {STTT}, vol. 17, p. 469–484, 2015.
, “ Scalable Verification of Markov Decision Processes”, in 4th Workshop on Formal Methods in the Development of Software (FMDS 2014), Grenoble, 2014.
FMDS2014.pdf (175.6 KB)
, “![application/pdf PDF icon](/modules/file/icons/application-pdf.png)