发布文献求助
待确认
  • 文献求助详情
标题
Safety Verification of Advanced Driver Assistance Systems Using Hybrid Automaton Reachability
基于混合自动机可达性的高级驾驶辅助系统安全性验证
相关领域
可达性 计算机科学 自动机 混合自动机 时间自动机 Büchi自动机 形式验证 高级驾驶员辅助系统 理论计算机科学 确定性自动机 人工智能
网址
https://doi.org/10.1109/smc54092.2024.10830931
DOI
10.1109/smc54092.2024.10830931 doi
其它 期刊：2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
作者：Lu Liu; Qi Sun; Liren Yang; Yahui Li; Chunjie Zhou
出版日期：2024-10-06
求助人
qkl 在 2025-02-26 14:53:11 发布自四川，悬赏 10 积分
下载
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
相关文献
  1. Constructing an automaton for exploring dynamic labyrinths
  2. Hybrid automata with finite bisimulations
  3. The universal automaton.
  4. kth-Order Finite Automaton
  5. Various kinds of automata with weights
  6. Implementation of Hybrid Automata in Scicos
  7. A Two-Way Automaton with Fewer States than Any Equivalent One-Way Automaton
  8. Computing exact automaton representations for a class of hybrid systems
  9. Modeling of continuous and hybrid systems using partial order relations
  10. Partial and total order relations for supervisory control of hybrid systems
　...点击展开更多...　
求助 / 应助时间线

  • 请等待求助人确认

    已经有人上传了文献，该状态下其他人无法上传，请等待求助人确认该文件是否是他需要的。
    如果求助人在 48 小时内还未确认，系统默认应助成功，本求助将自动关闭。

  • 4小时前

    科研通AI2S 科研通AI2S 机器人Lv12 上传了文件

    待审核 Safety_Verification_of_Advanced_Driver_Assistance_Systems_Using_Hybrid_Automaton_Reachability.pdf (1.41 MB)

  • 5小时前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献，机器人已退出，请等待人工下载

    14:53:12 未找到该文献，机器人已退出，请等待人工下载
    14:53:11 科研通AI机器人（广州）收到请求，开始寻找文献
    14:53:11 已向机器人发送请求

  • 5小时前

    qkl qkl 求助人 Lv11 发起了本次求助

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
哈哈哈哈完成签到 ，获得积分10
1秒前
科研通AI5的应助被热心的飞风采纳，获得30
1秒前
2秒前
orixero的应助被独特的莫言采纳，获得10
2秒前
苏打发布了新的文献求助10
2秒前
vira发布了新的文献求助10
3秒前
破茧发布了新的文献求助10
3秒前
彩色的向珊完成签到，获得积分10
3秒前
ding的应助被diao采纳，获得10
5秒前
Akim的应助被蝶步韶华采纳，获得10
6秒前
共享精神的应助被哭泣的冰海采纳，获得10
6秒前
所所的应助被旭龙采纳，获得10
6秒前
852的应助被旭龙采纳，获得10
6秒前
7秒前
xiao金发布了新的文献求助30
7秒前
8秒前
科研通AI5的应助被傲娇文博采纳，获得10
9秒前
9秒前
soso发布了新的文献求助20
10秒前
轻松刚发布了新的文献求助10
11秒前
侯笑笑发布了新的文献求助10
12秒前
12秒前
爆米花的应助被总裁采纳，获得20
13秒前
13秒前
14秒前
15秒前
牛马完成签到，获得积分10
15秒前
zzz发布了新的文献求助10
15秒前
希望天下0贩的0的应助被vvdd采纳，获得10
15秒前
共享精神的应助被一大碗芋泥采纳，获得10
15秒前
16秒前
慎独完成签到 ，获得积分10
16秒前
16秒前
16秒前
饺子发布了新的文献求助10
17秒前
17秒前
Owen的应助被文静的峻熙采纳，获得10
17秒前
17秒前
18秒前
佳佳发布了新的文献求助10
18秒前
高分求助中
Continuum thermodynamics and material modelling 3000
Production Logging: Theoretical and Interpretive Elements 2500
Healthcare Finance: Modern Financial Analysis for Accelerating Biomedical Innovation 2000
Applications of Emerging Nanomaterials and Nanotechnology 1111
Covalent Organic Frameworks 1000
Les Mantodea de Guyane Insecta, Polyneoptera 1000
Theory of Block Polymer Self-Assembly 750
热门求助领域 （近24小时）
化学 医学 材料科学 生物 工程类 有机化学 生物化学 纳米技术 内科学 物理 化学工程 计算机科学 复合材料 基因 遗传学 物理化学 催化作用 细胞生物学 免疫学 电极
热门帖子
关注 科研通微信公众号，转发送积分 3482877
求助须知：如何正确求助？哪些是违规求助？ 3072364
关于积分的说明 9126518
捐赠科研通 2764066
什么是DOI，文献DOI怎么找？ 1516800
邀请新用户注册赠送积分活动 701808
科研通“疑难数据库（出版商）”最低求助积分说明 700719
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通