Login / Signup
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes.
Elizabeth Polgreen
Viraj B. Wijesuriya
Sofie Haesaert
Alessandro Abate
Published in:
CoRR (2017)
Keyphrases
</>
markov decision processes
state space
optimal policy
probability distribution
finite state
decision processes