发布文献求助

Safety Verification of Advanced Driver Assistance Systems Using Hybrid Automaton Reachability

可达性计算机科学自动机混合自动机时间自动机 Büchi自动机形式验证高级驾驶员辅助系统理论计算机科学确定性自动机人工智能

作者

Lu Liu,Qi Sun,Liren Yang,Yahui Li,Chunjie Zhou

标识

DOI：10.1109/smc54092.2024.10830931

求助该文献

最长约 10秒，即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

2025年影响因子查询已上线 (2025-6-18)

更新

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 传奇3的应助被小鱼采纳，获得10

2秒前; kunny完成签到，获得积分10

3秒前; 容易饱完成签到，获得积分10

3秒前; 缥缈的凝丹完成签到，获得积分10

4秒前; 科研通AI6上传了应助文件

5秒前; pica发布了新的文献求助10

5秒前; dddddd发布了新的文献求助10

5秒前; 量子星尘发布了新的文献求助10

5秒前; humble完成签到，获得积分10

6秒前; 虚拟的秋寒完成签到，获得积分10

6秒前; richestchen完成签到，获得积分10

8秒前; 玛卡巴卡完成签到，获得积分10

8秒前; 科研通AI6的应助被flyindancewei采纳，获得10

9秒前; lilili发布了新的文献求助30

9秒前; Criminology34上传了应助文件

10秒前; Hilda007的应助被欣慰的从梦采纳，获得10

11秒前; 棠堂完成签到，获得积分10

11秒前; 科研通AI6的应助被Renge2023采纳，获得10

12秒前; 传奇3的应助被三心采纳，获得10

12秒前; 英姑的应助被leena采纳，获得10

13秒前; 橙子上传了应助文件

14秒前; 青年才俊关闭了青年才俊的文献求助

14秒前; 青年才俊关闭了青年才俊的文献求助

14秒前; 青年才俊关闭了青年才俊的文献求助

14秒前; 然大宝完成签到，获得积分10

15秒前; FashionBoy上传了应助文件

15秒前; 许九九发布了新的文献求助10

16秒前; 应然忆完成签到，获得积分10

16秒前; qcy72完成签到，获得积分10

18秒前; 笨笨的初露完成签到，获得积分20

18秒前; Hello上传了应助文件

19秒前; pica完成签到，获得积分20

19秒前; zhugao完成签到，获得积分10

19秒前; lilili完成签到，获得积分10

19秒前; 谨慎的幻悲发布了新的文献求助10

20秒前; Hilda007发布了新的文献求助10

20秒前; 达鸟啊完成签到，获得积分10

21秒前; vincen91完成签到，获得积分10

22秒前; 科研通AI5上传了应助文件

23秒前; 华仔上传了应助文件

25秒前

高分求助中: (应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000; Acute Mountain Sickness 2000; Handbook of Milkfat Fractionation Technology and Application, by Kerry E. Kaylegian and Robert C. Lindsay, AOCS Press, 1995 1000; A novel angiographic index for predicting the efficacy of drug-coated balloons in small vessels 500; Textbook of Neonatal Resuscitation ® 500; The Affinity Designer Manual - Version 2: A Step-by-Step Beginner's Guide 500; Affinity Designer Essentials: A Complete Guide to Vector Art: Your Ultimate Handbook for High-Quality Vector Graphics 500

热门求助领域（近24小时）

热门帖子: 关注科研通微信公众号，转发送积分 5060827; 求助须知：如何正确求助？哪些是违规求助？ 4284901; 关于积分的说明 13353143; 捐赠科研通 4102794; 什么是DOI，文献DOI怎么找？ 2246291; 邀请新用户注册赠送积分活动 1251992; 关于科研通互助平台的介绍 1182749

今日热心研友

昏睡的蟠桃

jenningseastera

今天只做一件事

遇上就这样吧

注：热心度 = 本日应助数 + 本日被采纳获取积分÷10

Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved

科研通是非营利科研互助平台，不忘初心，为科研助力

本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播

皖ICP备2024041134号-1

皖公网安备34019202002308

科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】

科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入

关注微信服务号

科研通