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