publication venue for Optimal Deterministic Controller Synthesis from Steady-State Distributions 2023