3 papers
cs.LG2025
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…
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…
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…