@misc{indiciae13b4cdb13bb1,
  title = {Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks},
  author = {Yu Chen and Xuanyuan Yin and Shaoyuan Li and Xiang Yin},
  year = {2025},
  url = {https://arxiv.org/abs/2403.18632},
  note = {Source identifier: 2403.18632}
}