publication venue for Controller synthesis for linear temporal logic and steady-state specifications 2024
