arXiv:2502.12267v1 宣告类型：交叉 摘要：自主 cyber-物理系统（CPSs）利用AI进行感知、规划和控制，但因固有的不确定性而面临信任和安全认证的挑战。神经符号范式用可解释的符号AI替代随机层，从而实现确定性。尽管前景看好，但仍存在多传感器融合、适应性和验证等方面的挑战。本文介绍了NeuroStrata，这是一种神经符号框架，旨在增强自主CPS的测试和验证。我们概述了其关键组成部分，展示了初步结果，并详细说明了未来计划。