Alert button

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

Jul 05, 2017
Elizabeth Polgreen, Viraj Wijesuriya, Sofie Haesaert, Alessandro Abate

Figure 1 for Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes
Figure 2 for Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes
Figure 3 for Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes
Figure 4 for Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: