责任敏感安全：面向逻辑基础与形式化的导论
机器人学
2022-06-08 v1 计算机科学中的逻辑
摘要
责任敏感安全（RSS）是一种面向自动驾驶系统（ADS）安全性的方法。它旨在引入数学表述的安全规则，遵守这些规则可保证避撞成为数学定理。然而，尽管强调数学与逻辑保证，RSS的逻辑基础与形式化在很大程度上仍是未被探索的研究课题。在本文中，我们呈现对RSS的导论，期望其能沟通不同研究社群，并为RSS的逻辑理论、数学形式化及实用软件工具铺平道路。
引用
@article{arxiv.2206.03418,
title = {Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization},
author = {Ichiro Hasuo},
journal= {arXiv preprint arXiv:2206.03418},
year = {2022}
}
备注
10 pages