什么样的符号适合混合离散-连续规划？

论文提出以求解算法为中心定义符号的有用性，提出“求解器充分符号化”概念，并针对有限时域分段仿射系统开发了反例引导的符号发明算法。该方法可扩展到以神经网络为能量函数的优化目标，从连续优化景观中诱导出求解器充分的符号。仿真与实机任务实验显示，所得符号在保持解质量的同时降低了求解成本，并提升了可解释性与可操控性。