Kaiqiang Jiang, Ping Huang, Hui Zan, Dehui Du. AL-SMC: Optimizing Statistical Model Checking by Automatic Abstraction and Learning. Int. J. Software and Informatics, 10(4), 2016. [doi]
@article{JiangHZD16,
title = {AL-SMC: Optimizing Statistical Model Checking by Automatic Abstraction and Learning},
author = {Kaiqiang Jiang and Ping Huang and Hui Zan and Dehui Du},
year = {2016},
url = {http://www.ijsi.org/ijsi/article/abstract/i235},
researchr = {https://researchr.org/publication/JiangHZD16},
cites = {0},
citedby = {0},
journal = {Int. J. Software and Informatics},
volume = {10},
number = {4},
}