Entropy Objectives in Markov Decision Processes
Researchers formalize the problem of synthesizing control policies for stochastic systems that maintain entropy-based objectives in Markov Decision Processes, proving the problem is computationally hard while developing a verification and synthesis method that combines convex duality and invariant synthesis techniques.