This work in progress considers reachability-based safety analysis in the domain of autonomous driving in multi-agent systems. We formulate the safety problem for a car following scenario as a differential game and study how different modelling strategies yield very different behaviors regardless of the validity of the strategies in other scenarios. Given the nature of real-life driving scenarios, we propose a modeling strategy in our formulation that accounts for subtle interactions between agents, and compare its Hamiltonian results to other baselines. Our formulation encourages reduction of conservativeness in Hamilton-Jacobi safety analysis to provide better safety guarantees during navigation.

翻译：这项工作在进行中,考虑了多试剂系统自主驾驶领域基于可达性的安全分析。我们把汽车的安全问题作为不同的游戏,并研究不同的模拟战略如何产生非常不同的行为,而不论其他情景中战略的有效性如何。鉴于现实生活中的驾驶方案的性质,我们提出一个模型战略,说明各种物剂之间的微妙互动,并将其汉密尔顿式结果与其他基线进行比较。我们的提法鼓励减少汉密尔顿-贾科比安全分析中的保守性,以便在航行期间提供更好的安全保障。