A Control Architecture for Provably-Correct Autonomous Driving

American Control Conference (ACC), 2021

6 May 2021

Papers citing "A Control Architecture for Provably-Correct Autonomous Driving"

2 / 2 papers shown

Title
Adaptive Splitting of Reusable Temporal Monitors for Rare Traffic ViolationsIEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2024 Craig Innes S. Ramamoorthy 153 2 0 13 Mar 2024
Online Motion Planning with Soft Metric Interval Temporal Logic in Unknown Dynamic Environment Zhiliang Li Mingyu Cai Shaoping Xiao Z. Kan 213 16 0 18 Oct 2021