Efficient Probabilistic Parameter Synthesis for Adaptive Systems (DCS, 2013)

(untitled) - Chen, T; Han, T; Kwiatkowska, M; Qu, H