Lu Feng : Publications
|
[1] |
Learning−based Compositional Verification for Synchronous Probabilistic Systems L. Feng‚ T. Han‚ M. Kwiatkowska and D. Parker In Proc. 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11). Vol. 6996 of LNCS. Pages 511–521. Springer. 2011. |
|
[2] |
Automated Learning of Probabilistic Assumptions for Compositional Reasoning L. Feng‚ M. Kwiatkowska and D. Parker In D. Giannakopoulou and F. Orejas, editors, Proc. 14th International Conference on Fundamental Approaches to Software Engineering (FASE'11). Vol. 6603 of LNCS. Pages 2–17. Springer. 2011. |
|
[3] |
Compositional Verification of Probabilistic Systems using Learning L. Feng‚ M. Kwiatkowska and D. Parker In Proc. 7th International Conference on Quantitative Evaluation of SysTems (QEST'10). Pages 133–142. IEEE CS Press. 2010. |