TY  - RPRT
TI  - Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks
AU  - Yu Chen
AU  - Xuanyuan Yin
AU  - Shaoyuan Li
AU  - Xiang Yin
PY  - 2025
UR  - https://arxiv.org/abs/2403.18632
ID  - 2403.18632
ER  -