Viraj Wijesuriya
Viraj Wijesuriya
Doctoral Student
Student, Trinity College
Wolfson Building, Parks Road, Oxford OX1 3QD
Selected Publications
-
Data−efficient Verification of Parametric Markov Chains
A. Abate E. Polgreen V. Wijesuriya S. Haesaert
In Quantitative Evaluation of SysTems (QEST). 2016.
Details about Data−efficient Verification of Parametric Markov Chains | BibTeX data for Data−efficient Verification of Parametric Markov Chains | DOI (10.1007/978-3-319-43425-4_3)