An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.

Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang

Browse the full SETTA paper archive.