BriefGPT - AI 论文速递
·
An Algorithm for Backward Underapproximate Reachability in Neural Feedback Loop Systems
💡
原文英文，约100词，阅读约需1分钟。
📝
内容提要
本研究提出了一种算法，通过混合整数线性规划计算非线性离散时间神经反馈环的反向低估可达集，以提升学习驱动的规划和控制算法的性能与安全性，并增强系统的可验证性。
🎯
关键要点
- 本研究提出了一种算法，计算非线性离散时间神经反馈环的反向低估可达集。
- 该算法通过混合整数线性规划的解来实现反向可达集的计算。
- 研究旨在提升学习驱动的规划和控制算法的性能与安全性。
- 利用反向可达集检查目标达成属性，扩大可验证的学习驱动系统属性的范围。
➡️
