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