AUTHOREA
Log in Sign Up Browse Preprints

April 10, 2023
Controller Synthesis against Omega-Regular Specifications: A Funnel-based Control App...
Pushpak Jagtap and Dimos Dimarogonas