责任敏感的安全：着眼于逻辑基础和形式化的介绍
Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization
摘要：
责任敏感安全（RSS）是自动驾驶系统（ADS）安全性的一种方法。其目的是引入以数学方式制定的安全规则，遵守这些规则可保证避免碰撞，这是一个数学定理。然而，尽管强调数学和逻辑保证，RSS的逻辑基础和形式化在很大程度上是一个未探索的研究课题。在本文中，我们提出了一个介绍RSS，我们希望将不同的研究社区之间的桥梁，铺平道路的RSS逻辑理论，其数学形式化，和软件工具的实际使用。
英文摘要：
Responsibility-sensitive safety (RSS) is an approach to the safety of automated driving systems (ADS). It aims to introduce mathematically formulated safety rules, compliance with which guarantees collision avoidance as a mathematical theorem. However, despite the emphasis on mathematical and logical guarantees, the logical foundations and formalization of RSS are largely an unexplored topic of study. In this paper, we present an introduction to RSS, one that we expect will bridge between different research communities and pave the way to a logical theory of RSS, its mathematical formalization, and software tools of practical use.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
