发布文献求助
亲爱的研友该休息了！由于当前在线用户较少，发布求助请尽量完整的填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！身体可是革命的本钱，早点休息，好梦！
待确认
  • 文献求助详情
标题
Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle
自动车辆安全停车监督员的设计与形式验证
相关领域
监督人 计算机科学 形式验证 弹道 抽象 模型检查 规划师 全球定位系统 模式（计算机接口） 控制工程 形式化方法 机器人 模拟 工程类 软件工程 人机交互 人工智能 程序设计语言 物理 政治学 认识论 哲学 法学 电信 天文
网址
https://doi.org/10.1109/icra.2019.8793636
AI链接 chalmers.se chalmers.se zenodo.org zenodo.orgdoi.org
DOI
10.1109/icra.2019.8793636 doi
其它 期刊：2022 International Conference on Robotics and Automation (ICRA)
作者：Jonas Krook; Lars E.O. Svensson; Yuchao Li; Lei Feng; Martin Fabian
出版日期：2019-05-01
求助人
易达 在 2025-01-20 22:00:19 发布自广东，悬赏 10 积分
下载
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
相关文献
  1. Accelerate Safety Model Checking Based on Complementary Approximate Reachability
  2. Agent-based model checking verification framework
  3. Survey on Formal Verification Methods for Digital IC
  4. The Analysis of Formal Methods for Applying to Vital S/W in Train Control Systems
  5. An overview and application of model reduction techniques in formal verification
  6. Validation of Embedded Systems Using Formal Method Aided Simulation
  7. A check-points extraction method for formal verification
  8. SYMBOLIC MODEL CHECKING FOR MODULAR SYSTEMS
　...点击展开更多...　
求助 / 应助时间线

  • 请等待求助人确认

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

  • 1小时前

    深情安青 深情安青 Lv11 上传了文件

    待审核 20250120232142-d605914b-8800.pdf (726.31 KB)

  • 3小时前

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

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

  • 3小时前

    易达 易达 求助人 Lv2 发起了本次求助

更新
大幅提高文件上传限制，最高150M (2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
2秒前
3秒前
小肖波比完成签到，获得积分10
5秒前
小彭陪小崔读个研完成签到 ，获得积分10
6秒前
6秒前
7秒前
Eternal发布了新的文献求助10
9秒前
15秒前
淡淡妙竹完成签到 ，获得积分10
22秒前
23秒前
bamsh31完成签到，获得积分20
23秒前
老金金完成签到 ，获得积分10
27秒前
迷你的靖雁完成签到，获得积分10
29秒前
聪明的云完成签到 ，获得积分10
31秒前
33秒前
斯文败类的应助被一站到底采纳，获得10
34秒前
jiangmax完成签到，获得积分10
35秒前
40秒前
丘比特的应助被Eternal采纳，获得10
40秒前
42秒前
曲幻梅发布了新的文献求助10
43秒前
46秒前
酷波er的应助被ziyuexu采纳，获得10
52秒前
今后的应助被无辜烧鹅采纳，获得10
52秒前
上官若男的应助被曲幻梅采纳，获得10
55秒前
Hello的应助被Luuu采纳，获得10
56秒前
立邦芝士完成签到，获得积分10
57秒前
汉堡包的应助被香蕉寒梅采纳，获得10
1分钟前
tszjw168完成签到 ，获得积分10
1分钟前
12345678发布了新的文献求助10
1分钟前
1分钟前
苗苗子子完成签到 ，获得积分10
1分钟前
完美世界的应助被12345678采纳，获得10
1分钟前
1分钟前
炎炎夏无声完成签到 ，获得积分10
1分钟前
干净之槐完成签到，获得积分10
1分钟前
老汪萌萌哒完成签到，获得积分10
1分钟前
苏信怜完成签到，获得积分10
1分钟前
大方泥猴桃完成签到，获得积分10
1分钟前
2分钟前
高分求助中
进口的时尚——14世纪东方丝绸与意大利艺术 Imported Fashion：Oriental Silks and Italian Arts in the 14th Century 800
Glucuronolactone Market Outlook Report: Industry Size, Competition, Trends and Growth Opportunities by Region, YoY Forecasts from 2024 to 2031 800
Zeitschrift für Orient-Archäologie 500
The Collected Works of Jeremy Bentham: Rights, Representation, and Reform: Nonsense upon Stilts and Other Writings on the French Revolution 320
Equality: What It Means and Why It Matters 300
A new Species and a key to Indian species of Heirodula Burmeister (Mantodea: Mantidae) 300
Apply error vector measurements in communications design 300
热门求助领域 （近24小时）
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 物理化学 催化作用 细胞生物学 免疫学 冶金
热门帖子
关注 科研通微信公众号，转发送积分 3346755
求助须知：如何正确求助？哪些是违规求助？ 2973338
关于积分的说明 8658999
捐赠科研通 2653866
什么是DOI，文献DOI怎么找？ 1453336
科研通“疑难数据库（出版商）”最低求助积分说明 672870
邀请新用户注册赠送积分活动 662808
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通