Publications

Export 2 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Sedwards, Sean  [Clear All Filters]
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 icon FMDS2014.pdf (175.6 KB)