首页> 外文会议>International Symposium on Robotics Research >Compositional and Contract-Based Verification for Autonomous Driving on Road Networks
【24h】

Compositional and Contract-Based Verification for Autonomous Driving on Road Networks

机译:基于组成和合同的道路网络自动驾驶的验证

获取原文

摘要

The way we use and think about mobility and transportation has changed significantly in the last years due to the developments in autonomous driving. A major emerging challenge is to provide safety guarantees to gain customers' trust. Current driver-assisting technologies have mostly advisory roles with limited autonomy and decision making responsibilities. Vehicles with full or shared autonomy have the potential to reduce the high incidence of vehicle-related deaths (over 3000 each month), most of them caused by driver error (over 70%). Thus, safety standards, which can be used for development by companies, and certification by legislators and administrators, can be very beneficial for autonomous driving.
机译:由于自动驾驶的发展,我们使用和考虑流动性和运输的方式发生了显着变化。一个主要的新兴挑战是提供安全保障,以获得客户的信任。目前的驾驶员辅助技术主要具有咨询角色,具有有限的自主权和决策责任。具有完整或共享自主权的车辆有可能降低车辆相关死亡的高发病率(每月超过3000岁),其中大多数由驾驶员误差(超过70%)。因此,可以由公司和管理员和管理员的公司用于开发的安全标准,对自动驾驶非常有益。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号