Skip to main content

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