2 citations · 3 across the 10 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.FL2023★ 2 cited
Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Barrier certificates provide functional overapproximations for the reachable set of dynamical systems and provide inductive guarantees on the safe evolution of the system. In autom…
cs.LO2023
Closure Certificates
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
A barrier certificate, defined over the states of a dynamical system, is a real-valued function whose zero level set characterizes an inductively verifiable state invariant separat…