129 citations · 752 across the 80 of their papers we have counts for
7 papers · 1 filter
Temporal logic control of general Markov decision processes by approximate policy refinement
Sofie Haesaert, Sadegh Soudjani, Alessandro Abate
The formal verification and controller synthesis for Markov decision processes that evolve over uncountable state spaces are computationally hard and thus generally rely on the use…
Safe Policy Search with Gaussian Process Models
Kyriakos Polymenakos, Alessandro Abate, Stephen Roberts
We propose a method to optimise the parameters of a policy which will be used to safely perform a given task in a data-efficient manner. We train a Gaussian process model to captur…
Experimental Biological Protocols with Formal Semantics
Alessandro Abate, Luca Cardelli, Marta Kwiatkowska +2
Both experimental and computational biology is becoming increasingly automated. Laboratory experiments are now performed automatically on high-throughput machinery, while computati…
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…
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…
Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations
Fei Chen, Sofie Haesaert, Alessandro Abate +1
The analysis of industrial processes, modelled as descriptor systems, is often computationally hard due to the presence of both algebraic couplings and difference equations of high…