Nov, 2023

第五届自主系统形式化方法国际研讨会论文集

PDF
TL;DR这篇研究论文总结了第五届自主系统形式方法国际研讨会的会议情况和论文接收结果，展示了该会议作为自主系统的形式建模和验证研究领域的知名出版场所的发展趋势。
formal methodsautonomous systemsresearchmodelingverification
发现论文，激发创造
  • 第四届自主系统形式化方法国际研讨会（FMAS）和第四届自动化可验证软件系统开发国际研讨会（ASYDE）论文集

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

    Sep, 2022

  • 第十届定理证明组件教育软件国际研讨会论文集

    ThEdu'21 workshop proceedings focused on promoting a more formal approach to mathematics in STEM education through software support using theorem-proving technologies.

    Feb, 2022

  • 自主系统的形式方法

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

    Nov, 2023

  • ACL2 定理证明器及其应用国际研讨会第十七届会议论文集

    该论文集收录了 ACL2 定理证明器及其应用方面的研究和经验，讨论 ACL2 定理证明器在技术论坛和应用方面的作用。

    May, 2022

  • ACL2 定理证明器及其应用国际研讨会第十三届会议论文集

    该论文介绍了一个自动化推理系统 ACL2 定理证明器，其应用包括计算系统规范和验证，形式验证等，Boyer-Moore 家族的成员在 ACL2 Theorem Prover 研究和发展中做出重要贡献。

    Sep, 2015

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

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

    May, 2018

  • 第 11 届定理证明教育软件组件国际研讨会

    本文介绍了 ThEdu 系列以及本卷在 STEM 教育中应用定理证明技术的自动演绎和应用于教育软件的方法和工具在教育方面的应用。

    Mar, 2023

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

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

    Mar, 2020

  • 自动提取文本中社会政治事件的挑战和应用：CASE 2022 研讨会和分享任务报告

    本文总结了在 EMNLP 2022 范围内举行的 CASE 工作坊的第五届会议，该工作坊聚焦于跨技术和社会科学领域的事件信息收集和多模态方法对该跨学科研究主题的拓展。

    Nov, 2022

  • 基于纳米出版物的语义出版和评审：一项正式论文的现场研究

    通过对科学文章进行形式化的出版和语义学处理，可以提高科研工作者更新领域最新成果的工作效率，并为未来科学事业的效率和效益带来了不计其数的可能性。

    Mar, 2022