研究在闭环系统抽象上执行分支定界，试图兼顾非线性神经控制验证的精度与规模。
推荐理由：方案瞄准组合验证精确但不扩展、传播验证可扩展却过松的矛盾，将搜索直接建立在闭环抽象上；能否服务自治系统取决于界的紧度与速度。
阅读原文