Tingting Han : Publications

Technical reports

• [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