会员服务
会议涵盖了从理论结果到具体应用的各个方面，重点讨论了实际的验证工具以及实现这些工具所需的算法和技术。CAV认为，在向生物系统和计算机安全等新领域扩展的同时，继续推动硬件和软件验证的进步至关重要。会议记录将发表在《计算机科学》系列的斯普林格-维拉格讲稿中。预计将邀请一些论文参加《系统设计中的形式化方法》专刊和《ACM杂志》。官网链接：http://i-cav.org/2019/
Low Cost C-ITS Stations Using Raspberry Pi and the Open Source Software OScar
Arxiv
0+阅读 · 3月19日
Sequential Contrastive Audio-Visual Learning
Arxiv
0+阅读 · 3月16日
CAML: Collaborative Auxiliary Modality Learning for Multi-Agent Systems
Arxiv
0+阅读 · 2月25日
Distributed Observer Design for Tracking Platoon of Connected and Autonomous Vehicles
Arxiv
0+阅读 · 1月31日
Exploring the combined effects of major fuel technologies, eco-routing, and eco-driving for sustainable traffic decarbonization in downtown Toronto
Arxiv
0+阅读 · 1月27日
Direct-CP: Directed Collaborative Perception for Connected and Autonomous Vehicles via Proactive Attention
Arxiv
0+阅读 · 2月10日
Safeguarding connected autonomous vehicle communication: Protocols, intra- and inter-vehicular attacks and defenses
Arxiv
0+阅读 · 2月6日
Transfer Your Perspective: Controllable 3D Generation from Any Viewpoint in a Driving Scene
Arxiv
0+阅读 · 2月10日
CoDriveVLM: VLM-Enhanced Urban Cooperative Dispatching and Motion Planning for Future Autonomous Mobility on Demand Systems
Arxiv
0+阅读 · 1月10日
Collaborative Approaches to Enhancing Smart Vehicle Cybersecurity by AI-Driven Threat Detection
Arxiv
0+阅读 · 2024年12月31日
CP-Guard: Malicious Agent Detection and Defense in Collaborative Bird's Eye View Perception
Arxiv
1+阅读 · 2024年12月16日
Dependency-Aware CAV Task Scheduling via Diffusion-Based Reinforcement Learning
Arxiv
0+阅读 · 2024年11月27日
Edge-Assisted Accelerated Cooperative Sensing for CAVs: Task Placement and Resource Allocation
Arxiv
0+阅读 · 2024年11月27日
Multi-Agent Reinforcement Learning for Connected and Automated Vehicles Control: Recent Advancements and Future Prospects
Arxiv
0+阅读 · 2024年10月19日
Exploiting Text-Image Latent Spaces for the Description of Visual Concepts
Arxiv
0+阅读 · 2024年10月23日
参考链接
父主题
Springer
计算机科学理论
微信扫码咨询专知VIP会员
Top