Get started
Author

John Skovbekk

ORCID: 0000-0002-0470-9055
Observed ORCID: 0000-0002-0470-9055
OpenAlex ID: A5101936918
Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
2025 · John Skovbekk, Luca Laurenti, et al. · IEEE Transactions on Automatic Control · 24
PDF
Formal Abstraction of General Stochastic Systems via Noise Partitioning
2023 · John Skovbekk, Luca Laurenti, et al. · IEEE Control Systems Letters · 8
PDF
Data-Driven Permissible Safe Control with Barrier Certificates
2024 · Rayan Mazouz, John Skovbekk, et al. · IEEE Conference on Decision and Control (CDC) · 6
PDF
Works count: 4
Citation count: 44
H-index: 4
I10-index: 1
Year
Topic
Type