Tingting Han : Publications
-
[1]
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