activity
20182021
most citedLearning Human Rewards by Inferring Their Latent Intelligence Levels in Multi-Agent Games: A Theory-of-Mind Approach with Application to Driving Data

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.ROShow all

1 paper · 1 filter

cs.RO2021

Negotiation-Aware Reachability-Based Safety Verification for AutonomousDriving in Interactive Scenarios

Ran Tian, Anjian Li, Masayoshi Tomizuka +1

Safety assurance is a critical yet challenging aspect when developing self-driving technologies. Hamilton-Jacobi backward-reachability analysis is a formal verification tool for ve…