no code implementations • 5 Jul 2017 • Elizabeth Polgreen, Viraj Wijesuriya, Sofie Haesaert, Alessandro Abate
We present a new method for statistical verification of quantitative properties over a partially unknown system with actions, utilising a parameterised model (in this work, a parametric Markov decision process) and data collected from experiments performed on the underlying system.