Tingting Han

Tingting Han

Research Assistant

Leaving date: 29th September 2013

Themes:

• Automated Verification

Completed Projects:

• VERIWARE
• CONNECT-IP

Selected Publications

View AllManage publications

• Efficient Probabilistic Parameter Synthesis for Adaptive Systems

  Taolue Chen‚ Tingting Han‚ Marta Kwiatkowska and Hongyang Qu

  No. RR−13−04. DCS. 2013.

  Details about Efficient Probabilistic Parameter Synthesis for Adaptive Systems | BibTeX data for Efficient Probabilistic Parameter Synthesis for Adaptive Systems | Download  (pdf) of Efficient Probabilistic Parameter Synthesis for Adaptive Systems

Activities

• Probabilistic Model Checking
• Quantitative Analysis and Verification