Tag
CARVE is a certification framework for autonomous driving that provides runtime proofs for multi-agent repairs, accepting 98.64% of initially vetoed maneuvers on INTERACTION replay episodes without requiring predictions of other drivers' compliance.