Publication

[HahnHHLT17] Multi-objective Robust Strategy Synthesis for Interval MDPs Hahn, E. M.; Hashemi, V.; Hermanns, H.; Lahijanian, M. and Turrini, A. In QEST, pages 207-223, LNCS 10503, 2017.Downloads: bib