runtime-proof

CARVE是一个用于自动驾驶的认证框架，为多智能体修复提供运行时证明，在INTERACTION回放场景中接受98.64%的初始否决操作，且无需预测其他驾驶员的合规性。