External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Data-Efficient Bayesian Verification of Parametric Markov Chains

Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate. Data-Efficient Bayesian Verification of Parametric Markov Chains. In Gul Agha, Benny Van Houdt, editors, Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. Volume 9826 of Lecture Notes in Computer Science, pages 35-51, Springer, 2016. [doi]

Authors

Elizabeth Polgreen

This author has not been identified. Look up 'Elizabeth Polgreen' in Google

Viraj B. Wijesuriya

This author has not been identified. Look up 'Viraj B. Wijesuriya' in Google

Sofie Haesaert

This author has not been identified. Look up 'Sofie Haesaert' in Google

Alessandro Abate

This author has not been identified. Look up 'Alessandro Abate' in Google
runs on