Showing cs.LGShow all
2 papers · 1 filter
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…
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…