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,
2017-04-23; in: "Proc. of QAPL 2017: the 15 International Workshop on Quantitative Aspects of Programming Languages and Systems",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.