Controller Synthesis for Omega-Regular and Steady-State Specifications

Open in new window