3 papers
cs.LG2026
Verification of Unknown Dynamical Systems via Autoencoder Latent Space
Robert Reed, Luca Laurenti, Morteza Lahijanian
Formal verification provides a powerful framework for proving that dynamical systems satisfy their specifications. However, these techniques face scalability challenges in high-dim…
cs.LG2024
Error Bounds For Gaussian Process Regression Under Bounded Support Noise With Applications To Safety Certification
Robert Reed, Luca Laurenti, Morteza Lahijanian
Gaussian Process Regression (GPR) is a powerful and elegant method for learning complex functions from noisy data with a wide range of applications, including in safety-critical do…
eess.SY2024
Learning-Based Shielding for Safe Autonomy under Unknown Dynamics
Robert Reed, Morteza Lahijanian
Shielding is a common method used to guarantee the safety of a system under a black-box controller, such as a neural network controller from deep reinforcement learning (DRL), with…