TY - RPRT TI - Optimal Constrained sc-LTL Planning in MDPs via Switching Policies AU - Zetong Xuan AU - Yu Wang PY - 2026 DO - 10.1109/tac.2026.3709203 UR - https://arxiv.org/abs/2608.05021 ID - 2608.05021 ER -