EigenSafe: A Spectral Framework for Learning-Based Probabilistic Safety Assessment

Inkyu Jang, Jonghae Park, Sihyun Cho +3

We present EigenSafe, an operator-theoretic framework for safety assessment of learning-enabled stochastic systems. In many robotic applications, the dynamics are inherently stocha…