{"id":"arxiv/2603.00379","url":"https://arxiv.org/abs/2603.00379","tags":["eess.SY","math.OC"],"score":0,"title":"Vector Certificates for $ω$-regular Specifications","domain":"eess.SY","source":"arxiv","authors":["Mohammed Adib Oumer","Vishnu Murali","Majid Zamani"],"reviews":0,"subject":"eess.SY","summary":"The recently introduced notions of ranking functions and closure certificates utilize well-foundedness arguments to facilitate the verification of dynamical systems against $ω$-regular properties. A ranking function and a closure certificate are real-valued functions defined over states and state pairs of a dynamical system whose zero superlevel sets are inductive state invariant and inductive transition invariant, respectively. The search for such certificates can be automated by fixing a specific template class, such as a polynomial of a fixed degree, and then using optimization techniques…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-02-27","reactions":{}}