John Skovbekk

According to our database, John Skovbekk authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression.

John Skovbekk, Luca Laurenti, Eric W. Frew, Morteza Lahijanian

IEEE Trans. Autom. Control., August, 2025

2024

Data-Driven Permissible Safe Control with Barrier Certificates.

Rayan Mazouz, John Skovbekk, Frederik Baymler Mathiesen, Eric W. Frew, Luca Laurenti, Morteza Lahijanian

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024

2023

Formal Abstraction of General Stochastic Systems via Noise Partitioning.

John Skovbekk, Luca Laurenti, Eric W. Frew, Morteza Lahijanian

IEEE Control. Syst. Lett., 2023