Skip to main content

Automated Experiment Design for Data−Efficient Verification of Parametric Markov Decision Processes

Elizabeth Polgreen‚ Viraj B. Wijesuriya‚ Sofie Haesaert and Alessandro Abate

Book Title
QEST
Pages
259–274
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
10503
Year
2017