TY  - RPRT
TI  - Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study
AU  - Jingyi Wang
AU  - Jun Sun
AU  - Qixia Yuan
AU  - Jun Pang
PY  - 2017
DO  - 10.1007/978-3-662-54494-5_1
UR  - https://arxiv.org/abs/1605.08278
ID  - 1605.08278
ER  -