Robustness verification for knowledge-based logic of risky driving scenesJan 1, 2025·Xia Wang,Anda LiangJonathan Sprinkle,Taylor T Johnson· 0 min read CiteTypeConference paperPublicationFuture of information and communication conferencepublicationsLast updated on Jan 1, 2025 AuthorsXia WangPhD StudentAuthorsAnda LiangAuthorsJonathan SprinkleProfessor and Chair of Computer ScienceProfessor of Computer Science at Vanderbilt University. Research in cyber-physical systems, autonomous vehicles, and domain-specific modeling.AuthorsTaylor T Johnson← Reinforcement Learning-Based Oscillation Dampening: Scaling Up Single-Agent Reinforcement Learning Algorithms to a 100-Autonomous-Vehicle Highway Field Operational Test Jan 1, 2025Traffic Control via Connected and Automated Vehicles (CAVs): An Open-Road Field Experiment with 100 CAVs Jan 1, 2025 →
,·
0 min read