A Control Architecture for Provably-Correct Autonomous Driving

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 Violations Craig Innes S. Ramamoorthy 38 0 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 22 16 0 18 Oct 2021