Lu Feng
|
|
Room 452, Wolfson Building, Parks Road, Oxford OX1 3QD |
Biography
Selected Publications
| 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. |
| 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. |
| Learning−based Compositional Verification for Synchronous Probabilistic Systems L. Feng‚ T. Han‚ M. Kwiatkowska and D. Parker No. RR−11−05. Department of Computer Science‚ University of Oxford. 2011. |
Info
|
Themes |
|
|
Activities |
Probabilistic Model Checking | Quantitative Analysis and Verification |
|
Projects |
|
|
Supervisor |
|