TY - RPRT TI - STCLocker: Deadlock Avoidance Testing for Autonomous Driving Systems AU - Mingfei Cheng AU - Renzhi Wang AU - Xiaofei Xie AU - Yuan Zhou AU - Lei Ma PY - 2025 UR - https://arxiv.org/abs/2506.23995 ID - 2506.23995 ER -