6 citations · 6 across the 3 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2023
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…
eess.SY2022★ 6 cited
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…