TY - RPRT TI - Negotiation-Aware Reachability-Based Safety Verification for AutonomousDriving in Interactive Scenarios AU - Ran Tian AU - Anjian Li AU - Masayoshi Tomizuka AU - Liting Sun PY - 2021 UR - https://arxiv.org/abs/2106.02737 ID - 2106.02737 ER -