@misc{indiciaec4800c4001d6,
  title = {Optimal Constrained sc-LTL Planning in MDPs via Switching Policies},
  author = {Zetong Xuan and Yu Wang},
  year = {2026},
  doi = {10.1109/tac.2026.3709203},
  url = {https://arxiv.org/abs/2608.05021},
  note = {Source identifier: 2608.05021}
}