2 citations · 3 across the 6 of their papers we have counts for
1 paper · 1 filter
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…