本研究提出了一种算法，通过混合整数线性规划计算非线性离散时间神经反馈环的反向低估可达集，以提升学习驱动的规划和控制算法的性能与安全性，并增强系统的可验证性。

An Algorithm for Backward Underapproximate Reachability in Neural Feedback Loop Systems
BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 ·
👤 个人中心
在公众号发送验证码完成验证