Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints

Yagiz Savas, Melkior Ornik, Murat Cubuktepe +2

We study the problem of synthesizing a policy that maximizes the entropy of a Markov decision process (MDP) subject to a temporal logic constraint. Such a policy minimizes the pred…