6 citations · 6 across the 3 of their papers we have counts for
3 papers
Data-Driven Permissible Safe Control with Barrier Certificates
Rayan Mazouz, John Skovbekk, Frederik Baymler Mathiesen +3
This paper introduces a method of identifying a maximal set of safe strategies from data for stochastic systems with unknown dynamics using barrier certificates. The first step is…
Formal Abstraction of General Stochastic Systems via Noise Partitioning
John Skovbekk, Luca Laurenti, Eric Frew +1
Verifying the performance of safety-critical, stochastic systems with complex noise distributions is difficult. We introduce a general procedure for the finite abstraction of nonli…
Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
John Skovbekk, Luca Laurenti, Eric Frew +1
Leveraging autonomous systems in safety-critical scenarios requires verifying their behaviors in the presence of uncertainties and black-box components that influence the system dy…