TY - RPRT TI - A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents AU - Bohan Cui AU - Xinyi Yu AU - Alessandro Giua AU - Xiang Yin PY - 2025 UR - https://arxiv.org/abs/2502.14585 ID - 2502.14585 ER -