3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Paul Lutkus, Kaiyuan Wang, Lars Lindemann +1
We initiate a formal study on the use of low-dimensional latent representations of dynamical systems for verifiable control synthesis. Our main goal is to enable the application of…