论文标题
责任敏感的安全：介绍逻辑基础和形式化
Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization
论文作者
论文摘要
责任敏感的安全性（RSS）是一种自动驾驶系统安全性（AD）安全的方法。它旨在介绍数学配制的安全规则，并保证避免碰撞作为数学定理。然而，尽管强调了数学和逻辑保证，但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.
