Hongyang Qu : 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

• [2]

  INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS

  Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker‚ Hongyang Qu and Mateusz Ujma

  No. RR−12−05. DCS. 2012.

  Details about INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS | BibTeX data for INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS | Download  (pdf) of INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS