Lu Feng : Publications
-
[0]
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.
Details about Learning−based Compositional Verification for Synchronous Probabilistic Systems | BibTeX data for Learning−based Compositional Verification for Synchronous Probabilistic Systems | Link to Learning−based Compositional Verification for Synchronous Probabilistic Systems
-
[1]
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.
Details about Automated Learning of Probabilistic Assumptions for Compositional Reasoning | BibTeX data for Automated Learning of Probabilistic Assumptions for Compositional Reasoning | Link to Automated Learning of Probabilistic Assumptions for Compositional Reasoning
-
[2]
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.
Details about Compositional Verification of Probabilistic Systems using Learning | BibTeX data for Compositional Verification of Probabilistic Systems using Learning | Link to Compositional Verification of Probabilistic Systems using Learning