#control-synthesis News & Analysis

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.