1 citations · 1 across the 5 of their papers we have counts for
4 papers · 1 filter
Continuous-time Data-driven Barrier Certificate Synthesis
Luke Rickard, Alessandro Abate, Kostas Margellos
We consider the problem of verifying safety for continuous-time dynamical systems. Developing upon recent advancements in data-driven verification, we use only a finite number of s…
Data-Driven Certificate Synthesis
Luke Rickard, Alessandro Abate, Kostas Margellos
We investigate the problem of verifying different properties of discrete time dynamical systems, namely, reachability, safety and reach-while-avoid. To achieve this, we adopt a dat…
Learning Robust Policies for Uncertain Parametric Markov Decision Processes
Luke Rickard, Alessandro Abate, Kostas Margellos
Synthesising verifiably correct controllers for dynamical systems is crucial for safety-critical problems. To achieve this, it is important to account for uncertainty in a robust m…
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
Luke Rickard, Thom Badings, Licio Romao +1
Automated synthesis of provably correct controllers for cyber-physical systems is crucial for deployment in safety-critical scenarios. However, hybrid features and stochastic or un…