1 citations · 2 across the 11 of their papers we have counts for
3 papers · 1 filter
A Hybrid Framework for Efficient Koopman Operator Learning
Alexander Estornell, Leonard Jung, Alenna Spiro +2
Koopman analysis of a general dynamics system provides a linear Koopman operator and an embedded eigenfunction space, enabling the application of standard techniques from linear an…
Learning Verifiable Control Policies Using Relaxed Verification
Puja Chaudhury, Alexander Estornell, Michael Everett
To provide safety guarantees for learning-based control systems, recent work has developed formal verification methods to apply after training ends. However, if the trained policy…
Collision Avoidance Verification of Multiagent Systems with Learned Policies
Zihao Dong, Shayegan Omidshafiei, Michael Everett
For many multiagent control problems, neural networks (NNs) have enabled promising new capabilities. However, many of these systems lack formal guarantees (e.g., collision avoidanc…