1 citations · 2 across the 3 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LG2017
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes
Elizabeth Polgreen, Viraj Wijesuriya, Sofie Haesaert +1
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 param…
eess.SY2017
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza +5
We present a sound and automated approach to synthesize safe digital feedback controllers for physical plants represented as linear, time invariant models. Models are given as dyna…