Tingting Han
|
Tingting
Han
Research Assistant
Wolfson Building, Parks Road, Oxford OX1 3QD |
Selected Publications
| Efficient Probabilistic Parameter Synthesis for Adaptive Systems Taolue Chen‚ Tingting Han‚ Marta Kwiatkowska and Hongyang Qu No. RR−13−04. DCS. 2013. |
Info
|
Themes |
|
|
Activities |
Probabilistic Model Checking | Quantitative Analysis and Verification |
|
Projects |
VERIWARE | |
|
Completed Projects |
