Sep, 2022

第四届自主系统形式化方法国际研讨会（FMAS）和第四届自动化可验证软件系统开发国际研讨会（ASYDE）论文集

PDF
TL;DR本文介绍了 2022 年第四届自主系统形式化方法国际研讨会（FMAS 2022）和第四届自动化和可验证软件系统开发国际研讨会（ASYDE 2022）的联合论文集。该研讨会目的在于汇聚使用形式化方法解决自主系统所带来独特挑战的研究者，探讨在形式化方法在自主和 / 或机器人系统中的应用。该主题涵盖了自主系统、软件开发、验证、协同物理以及工业应用等方向。
formal methodsautonomous systemssoftware developmentverificationcyber-physical
发现论文，激发创造
  • 第五届自主系统形式化方法国际研讨会论文集

    这篇研究论文总结了第五届自主系统形式方法国际研讨会的会议情况和论文接收结果，展示了该会议作为自主系统的形式建模和验证研究领域的知名出版场所的发展趋势。

    Nov, 2023

  • 自主系统的形式方法

    给出关于应用形式方法于自治系统领域的当前最新研究状态的概述，包括系统的合成、不确定性的概念、采用形式方法的学习系统的行为界限、系统的监测以及形式方法在强化学习、不确定性、隐私、可解释性、规制和认证方面的未来发展方向。

    Nov, 2023

  • 机器人与综合形式方法：必要性与机遇相遇

    机器人系统是多维实体，包括硬件和软件，与现实世界的相互作用密切相关，因此需要结合各种形式化方法来开发、验证和提供认证证据，而机器人学是一个理想的催化剂来推动集成形式方法研究的发展，使其朝着新的、令人兴奋的方向发展，并揭示大规模、动态、复杂系统的发展。

    May, 2018

  • 自主驾驶汽车的正式场景测试：从仿真到现实世界

    本文提出了一种基于形式化方法的智能汽车自动场景测试的新方法，结合仿真和实际测试，并通过实验验证形式化仿真可以有效识别可在跑道上运行的测试用例，仿真和真实世界之间的差距可以得到系统评估和弥合。

    Mar, 2020

  • 面向自动化系统安全评估的形式化故障注入

    通过将形式化方法和故障注入相融合，增强自主系统的可靠性，并通过这种更加紧密的联系，为安全可靠的自动化系统的开发铺平道路。

    Nov, 2023

  • 来见证：关于网络物理系统安全保障的一些观点

    通过探讨与保障支持因为设计而参数要求（例如安全性、安全性和可靠性）的合规性的确证缺陷检测、模式依赖以改善确证方案结构、改进现有确证方案符号以及（半）自动化确证方案生成等方面的挑战，提出了一些可能的解决方向。

    Jan, 2024

  • 利用大型语言模型进行自动形式化

    本文研究了自动形式化的过程，并发现大型语言模型可用于将自然语言的数学问题翻译为 Isabelle/HOL 的形式化说明，证明了这种方法的实用性，并通过训练预先介绍的神经定理证明器使改进了 MiniF2F 定理证明基准的证明率从 29.6% 提高到 35.2%。

    May, 2022

  • 一种新的自动形式化方法

    自动形式化研究级数学的一个方法是将任务分解为更容易和可接近的子任务：未链接的形式化、实体链接和类型调整。同时，本文还提出了一个用于未链接的形式化的基准数据集 arXiv2Formal，其中包含了从 arXiv.org 的论文中选取的 50 个定理的 Lean 定理证明器的形式化。欢迎社区为该数据集的未来版本做出贡献。

    Oct, 2023

  • 确信自治：与我们可以信任的自治系统共存之路

    针对自主性中确保保障的挑战，召开了三场研讨会，旨在促进对学术界、产业界和政府利益相关者之间的理解和战略规划，以推动自主性的持续进步。

    Oct, 2020

  • 使用大型语言模型进行测试学习能力的网络物理系统：一种形式化方法

    通过检查以测试为基础的验证和验证作为最实用的方法，并总结当前先进的方法学，在确保学习能力的 CPS 的形式安全方面，确定了当前测试方法的局限性，并提出了从基础概率测试过渡到更严格方法的路线图，以提供正式保证。

    Nov, 2023