NeuroSynt：一种神经符号化的反应合成投资组合求解器
原文中文，约200字，阅读约需1分钟。发表于：。NeuroSynt 是一个神经符号综合求解器框架，通过无缝集成神经和符号方法来解决反应综合问题，并通过模型检查器验证基础神经模型的预测。在当前 SYNTCOMP 基准测试中，NeuroSynt 在处理具有挑战性的规范方面展现出其有效性，并为现有的反应综合求解器提供了新的解决方案。
该文章介绍了神经符号并发随机博弈（NS-CSG）模型，融合了神经网络和传统符号技术，解决动态车辆停车问题。作者开发了新算法解决非可数状态空间的NS-CSG博弈中的最优策略选择问题，并证明了其收敛性。
