Hongyang Qu : Publications
Click here to download all publications in a single bibtex file
@techreport{RR-13-04, title = "Efficient Probabilistic Parameter Synthesis for Adaptive Systems", author = "Taolue Chen and Tingting Han and Marta Kwiatkowska and Hongyang Qu", year = "2013", institution = "DCS", number = "RR-13-04", pages = "13", }
@techreport{RR-12-05, title = "INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS", author = "Vojtech Forejt and Marta Kwiatkowska and David Parker and Hongyang Qu and Mateusz Ujma", year = "2012", institution = "DCS", number = "RR-12-05", pages = "15", }