Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Data−efficient Verification of Parametric Markov Chains

Data−efficient Verification of Parametric Markov Chains

A. Abate E. Polgreen V. Wijesuriya S. Haesaert

Book Title
QEST
Journal
Quantitative Evaluation of SysTems (QEST)
Year
2016

Links

See Also

Back to Top