Formal Entropy-Regularized Control of Stochastic Systems
Este artigo apresenta um método para a síntese formal de controladores em sistemas estocásticos de estado contínuo que minimiza uma combinação linear do custo cumulativo e da entropia do sistema (medida pela divergência KL em relação à distribuição uniforme), garantindo limites rigorosos ao aproximar o sistema contínuo por discretizações finitas.