Filters: Author is Axel Legay [Clear All Filters]
“Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata”, in Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, vol. 9681, Springer, 2016, pp. 99-114. paper-299.pdf (463.65 KB)
, “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)
,