验证自动驾驶汽车集体行为的博弈论模型
Game Theory Models for the Verification of the Collective Behaviour of Autonomous Cars
摘要：
预计自动驾驶汽车的集体将产生几乎最佳的交通。在这份立场文件中，我们讨论了多智能体模型和自动驾驶汽车集体行为的验证结果。我们认为，非合作的自主适应不能保证最佳的行为。推测是，意图感知适应与约束同时决策有可能避免不必要的行为。在线路由博弈模型有望成为正式证明这一猜想的基础。
英文摘要：
The collective of autonomous cars is expected to generate almost optimal traffic. In this position paper we discuss the multi-agent models and the verification results of the collective behaviour of autonomous cars. We argue that non-cooperative autonomous adaptation cannot guarantee optimal behaviour. The conjecture is that intention aware adaptation with a constraint on simultaneous decision making has the potential to avoid unwanted behaviour. The online routing game model is expected to be the basis to formally prove this conjecture.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
