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