Filters: Author is Louis-Marie Traonouez [Clear All Filters]
“Smart sampling for lightweight verification of Markov decision processes”, International Journal on Software Tools for Technology Transfer, vol. 17, pp. 469–484, 2015. paper-275.pdf (959.43 KB)
,