Scenario Approach for Parametric Markov Models.

Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang

Browse the full ATVA paper archive.