Formal Abstraction of General Stochastic Systems via Noise Partitioning. - John Skovbekk; Luca Laurenti; Eric W. Frew; Morteza Lahijanian (IEEE Control. Syst. Lett., 2023)

Data-Driven Permissible Safe Control with Barrier Certificates. - Rayan Mazouz; John Skovbekk; Frederik Baymler Mathiesen; Eric W. Frew; Luca Laurenti; Morteza Lahijanian (CDC, 2024)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression. - John Skovbekk; Luca Laurenti; Eric W. Frew; Morteza Lahijanian (IEEE Trans. Autom. Control., 2025)