@article{optimalcontrolsynthesisofmarkovdecision,
  title = {Optimal Control Synthesis of Markov Decision Processes for Efficiency with Surveillance Tasks},
  author = {Yu Chen and Xuanyuan Yin and ShaoYuan Li and Xiang Yin},
  year = {2024},
  eprint = {2403.18632},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2403.18632v1},
}