TY  - RPRT
TI  - An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties
AU  - Yong Li
AU  - Wanwei Liu
AU  - Andrea Turrini
AU  - Ernst Moritz Hahn
AU  - Lijun Zhang
PY  - 2016
UR  - https://arxiv.org/abs/1605.04400
ID  - 1605.04400
ER  -