STCLocker: Deadlock Avoidance Testing for Autonomous Driving Systems Mingfei Cheng, Renzhi Wang -Xiaofei Xie, Yuan Zhou, Lei Ma Posted Jan 3, 2025 Cite