[Back]


Talks and Poster Presentations (with Proceedings-Entry):

S. Arming, E. Bartocci, A. Sokolova:
"SEA-PARAM: Exploring Schedulers in Parametric MDPs";
Talk: QAPL 2017: the 15 International Workshop on Quantitative Aspects of Programming Languages and Systems, Uppsala, Sweden; 2017-04-23; in: "Proc. of QAPL 2017: the 15 International Workshop on Quantitative Aspects of Programming Languages and Systems", EPCTS, 250 (2017), 25 - 38.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.4204/EPTCS.250.3