TY - RPRT TI - Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints AU - Yagiz Savas AU - Melkior Ornik AU - Murat Cubuktepe AU - Mustafa O. Karabag AU - Ufuk Topcu PY - 2019 DO - 10.1109/tac.2019.2922583 UR - https://arxiv.org/abs/1807.03223 ID - 1807.03223 ER -