Publications
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-554.pdf (959.43 KB)
paper-554.pdf (959.43 KB)