Showing cs.LGShow all
2 papers · 1 filter
cs.LG2024
Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
Shaoru Chen, Lekan Molu, Mahyar Fazlyab
Barrier functions are a general framework for establishing a safety guarantee for a system. However, there is no general method for finding these functions. To address this shortco…
cs.LG2023
PcLast: Discovering Plannable Continuous Latent States
Anurag Koul, Shivakanth Sujit, Shaoru Chen +11
Goal-conditioned planning benefits from learned low-dimensional representations of rich observations. While compact latent representations typically learned from variational autoen…