Learning−based Compositional Verification for Synchronous Probabilistic Systems
L. Feng‚ T. Han‚ M. Kwiatkowska and D. Parker
Book Title
Proc. 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11)
Pages
511–521
Publisher
Springer
Series
LNCS
Volume
6996
Year
2011