SavviDriver: model-based framework for game-based testing of autonomous vehicles in diverse multi-agent traffic scenarios

Autonomous vehicles (AVs) must operate safely in the face of uncertainty, including those induced by human behaviors (i.e., external human drivers).

https://link.springer.com/article/10.1007/s10270-025-01350-w