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