TY - RPRT TI - Entropy Rate Maximization of Markov Decision Processes under Linear Temporal Logic Tasks AU - Yu Chen AU - Shaoyuan Li AU - Xiang Yin PY - 2025 UR - https://arxiv.org/abs/2211.12805 ID - 2211.12805 ER -