Publications

Filters: Author is Axel Legay [Clear All Filters]

2017

C. E. Budde, Dehnert, C., Hahn, E. Moritz, Hartmanns, A., Junges, S., and Turrini, A., “JANI: Quantitative Model and Tool Interaction”, in Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Berlin, Heidelberg: Springer Berlin Heidelberg, 2017, pp. 151–168.

paper-726.pdf (223.9 KB)

2016

P. R. D'Argenio, Hartmanns, A., Legay, A., and Sedwards, S., “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, E. Ábrahám and Huisman, M., Eds. Springer, 2016, pp. 99-114.

paper-632.pdf (463.65 KB)

2015

P. R. D'Argenio, Legay, A., Sedwards, S., and Traonouez, L. - M., “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)