LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
LUCID:基于学习的不确定性感知随机动力系统认证
专题命中 幻觉与事实性 :safety(abstract);分类 cs.LG
AI总结 LUCID通过学习控制障碍证书和傅里叶核展开,为随机动态系统提供鲁棒且高效的认证框架,实现形式安全保证。
Comments The manuscript has been accepted for publication in the main track of AAAI 2026