会员服务
会议涵盖了从理论结果到具体应用的各个方面，重点讨论了实际的验证工具以及实现这些工具所需的算法和技术。CAV认为，在向生物系统和计算机安全等新领域扩展的同时，继续推动硬件和软件验证的进步至关重要。会议记录将发表在《计算机科学》系列的斯普林格-维拉格讲稿中。预计将邀请一些论文参加《系统设计中的形式化方法》专刊和《ACM杂志》。官网链接：http://i-cav.org/2019/
SIGN-MAPPO: State-Intent-Aware Graph Multi-Agent Reinforcement Learning for Cooperative Driving under Imperfect V2X
Arxiv
0+阅读 · 10月11日
$α$-TCAV: A Unified Framework for Testing with Concept Activation Vectors
Arxiv
0+阅读 · 10月12日
Low Cost C-ITS Stations Using Raspberry Pi and the Open Source Software OScar
Arxiv
0+阅读 · 10月9日
Reinforcement Learning-Based Control of CAV Platoon Joining Maneuvers in Mixed Traffic
Arxiv
0+阅读 · 8月27日
Lateral String Stability for Vehicle Platoons
Arxiv
0+阅读 · 6月29日
Visual-TCAV: Concept-based Attribution and Saliency Maps for Post-hoc Explainability in Image Classification
Arxiv
0+阅读 · 6月9日
Distributed Observer-based Fault Detection over Intelligent Networked Multi-Vehicle Systems
Arxiv
0+阅读 · 5月4日
Generative Models and Connected and Automated Vehicles: A Survey in Exploring the Intersection of Transportation and AI
Arxiv
0+阅读 · 4月16日
V2N-Based Algorithm and Communication Protocol for Autonomous Non-Stop Intersections
Arxiv
0+阅读 · 3月5日
A Generic Service-Oriented Function Offloading Framework for Connected Automated Vehicles
Arxiv
0+阅读 · 2月9日
Robust Vision Systems for Connected and Autonomous Vehicles: Security Challenges and Attack Vectors
Arxiv
0+阅读 · 2月11日
Robust Vision Systems for Connected and Autonomous Vehicles: Security Challenges and Attack Vectors
Arxiv
0+阅读 · 2月10日
Concept activation vectors: a unifying view and adversarial attacks
Arxiv
1+阅读 · 1月27日
UNCAP: Uncertainty-Guided Neurosymbolic Planning Using Natural Language Communication for Cooperative Autonomous Vehicles
Arxiv
0+阅读 · 1月12日
Efficient Local-to-Global Collaborative Perception via Joint Communication and Computation Optimization
Arxiv
0+阅读 · 1月19日
参考链接
微信扫码咨询专知VIP会员
Top