You are here

Home ›

Publications

Filters: Author is Sedwards, Sean  [Clear All Filters]
2015
P. R. D'Argenio, A. Legay, S. Sedwards, and L. - M. Traonouez, “Smart sampling for lightweight verification of Markov decision processes”, {STTT}, vol. 17, p. 469–484, 2015.
2014
A. Legay, S. Sedwards, and L. - M. Traonouez, “Scalable Verification of Markov Decision Processes”, in 4th Workshop on Formal Methods in the Development of Software (FMDS 2014), Grenoble, 2014.PDF iconFMDS2014.pdf (175.6 KB)

   

                              

Powered by Drupal