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",
}