会员服务
会议涵盖了从理论结果到具体应用的各个方面，重点讨论了实际的验证工具以及实现这些工具所需的算法和技术。CAV认为，在向生物系统和计算机安全等新领域扩展的同时，继续推动硬件和软件验证的进步至关重要。会议记录将发表在《计算机科学》系列的斯普林格-维拉格讲稿中。预计将邀请一些论文参加《系统设计中的形式化方法》专刊和《ACM杂志》。官网链接：http://i-cav.org/2019/
畏首畏尾的自动驾驶安全风险：自动驾驶规划中语义DoS漏洞系统化分析
畏首畏尾的自动驾驶安全风险：自动驾驶规划中语义DoS漏洞系统化分析
机器之心
0+阅读 · 2022年4月26日
CAV 之往事可追忆
CAV 之往事可追忆
学术头条
1+阅读 · 2020年7月29日
你关心的这些CCF A类会议 AMiner都替你备好了！
你关心的这些CCF A类会议 AMiner都替你备好了！
学术头条
0+阅读 · 2020年7月26日
王中林、任志锋、Parice Simon等顶级专家报道最新研究成果，新能源材料专题出版
王中林、任志锋、Parice Simon等顶级专家报道最新研究成果，新能源材料专题出版
学术头条
0+阅读 · 2020年6月22日
CCF推荐 | 国际会议信息4条
CCF推荐 | 国际会议信息4条
Call4Papers
0+阅读 · 2019年9月6日
用概念激活向量 (CAVs) 理解深度网络
用概念激活向量 (CAVs) 理解深度网络
AI科技评论
0+阅读 · 2019年8月17日
谷歌大脑提出概念激活向量，助力神经网络可解释性研究
谷歌大脑提出概念激活向量，助力神经网络可解释性研究
机器之心
1+阅读 · 2019年8月10日
谷歌大脑发布概念激活向量，了解神经网络的思维方式
谷歌大脑发布概念激活向量，了解神经网络的思维方式
大数据文摘
0+阅读 · 2019年7月30日
谷歌大脑发布概念激活向量，了解神经网络的新思维方式
谷歌大脑发布概念激活向量，了解神经网络的新思维方式
大数据文摘
2+阅读 · 2019年7月23日
【2019-26期】This Week in Extracellular Vesicles
【2019-26期】This Week in Extracellular Vesicles
外泌体之家
11+阅读 · 2019年6月28日
波音PAV电动载人飞行器原型机坠毁
波音PAV电动载人飞行器原型机坠毁
无人机
0+阅读 · 2019年6月14日
Intel 亮出智能交通的战略刺刀：先解决中国大公交的视觉盲区
Intel 亮出智能交通的战略刺刀：先解决中国大公交的视觉盲区
极客公园
0+阅读 · 2019年6月12日
波音电动货运无人机首次在户外试飞
波音电动货运无人机首次在户外试飞
无人机
0+阅读 · 2019年6月2日
如何使用 rsync 的高级用法进行大型备份 | Linux 中国
如何使用 rsync 的高级用法进行大型备份 | Linux 中国
Linux中国
0+阅读 · 2019年5月18日
工学 | 顶级SCI期刊专刊/国际会议信息5条
工学 | 顶级SCI期刊专刊/国际会议信息5条
Call4Papers
0+阅读 · 2019年1月16日
参考链接
父主题
Springer
计算机科学理论
微信扫码咨询专知VIP会员
Top