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…
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
Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking
Robert Reed, Hanspeter Schaub, Morteza Lahijanian
Autonomous spacecraft control via Shielded Deep Reinforcement Learning (SDRL) has become a rapidly growing research area. However, the construction of shields and the definition of…