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]
No references recorded for this publication.
No citations of this publication recorded.