Alert button

Controller Synthesis for Omega-Regular and Steady-State Specifications

Jun 05, 2021
Alvaro Velasquez, Ashutosh Trivedi, Ismail Alkhouri, Andre Beckus, George Atia

Figure 1 for Controller Synthesis for Omega-Regular and Steady-State Specifications
Figure 2 for Controller Synthesis for Omega-Regular and Steady-State Specifications
Figure 3 for Controller Synthesis for Omega-Regular and Steady-State Specifications
Figure 4 for Controller Synthesis for Omega-Regular and Steady-State Specifications

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: