Viraj Wijesuriya

Viraj Wijesuriya

Former Member

Student, Trinity College

Selected Publications

View AllManage 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)