本研究提出DODGE框架，解决风险评估中对象角色被低估的问题。通过结合本体论与形式方法，提升了风险评估模型的表达能力，帮助评估人员更有效地分析干扰传播和风险水平。

本研究提出了一种将形式方法与大型语言模型结合的新策略，增强了语言模型的可信性，提高了工具的可用性和效率，可能会变革可信AI软件系统的开发。

本文介绍了2024年11月11日至13日举行的第六届自主系统形式方法国际研讨会（FMAS 2024），旨在推动自主系统正式验证方法的研究与学术交流。

该文介绍了应用形式方法于自治系统领域的最新研究，包括系统合成、不确定性、学习系统的行为界限、系统监测以及未来发展方向。

本文介绍了深度神经网络在复杂感知系统中的重要作用，但为了确保其功能不会造成危害，需要运行时验证技术来检测关键事件、诊断问题并强制执行要求。介绍了机器学习和形式方法界的技术方法，并强调了严格设计监视器的重要性。