AUTHOREA
Log in
Sign Up
Browse Preprints
LOG IN
SIGN UP
Pushpak Jagtap
Public Documents
1
April 10, 2023
Controller Synthesis against Omega-Regular Specifications: A Funnel-based Control App...
Pushpak Jagtap and Dimos Dimarogonas