2 citations · 5 across the 29 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
eess.SY2023
A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
Luca Laurenti, Morteza Lahijanian
Providing safety guarantees for stochastic dynamical systems is a central problem in various fields, including control theory, machine learning, and robotics. Existing methods eith…
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.SY2023
Promises of Deep Kernel Learning for Control Synthesis
Robert Reed, Luca Laurenti, Morteza Lahijanian
Deep Kernel Learning (DKL) combines the representational power of neural networks with the uncertainty quantification of Gaussian Processes. Hence, it is potentially a promising to…