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…