Kenneth H. Chan, Sol Zilberman, Betty H. C. Cheng. SavviDriver: model-based framework for game-based testing of autonomous vehicles in diverse multi-agent traffic scenarios. Software and Systems Modeling, 25(1):135-161, February 2026. [doi]
Abstract is missing.