Viraj Wijesuriya : Publications
Click here to download all publications in a single bibtex file
@article{10260, title = "Data-efficient Verification of Parametric Markov Chains", author = "E. Polgreen, V. Wijesuriya, S. Haesaert, A. Abate", year = "2016", booktitle = "QEST", journal = "Quantitative Evaluation of SysTems (QEST)", doi = "10.1007/978-3-319-43425-4_3", }