5 citations · 12 across the 9 of their papers we have counts for
1 paper · 1 filter
Zhipeng Cao, Peiyang Song, Nikolaus Vertovec +6
Lyapunov functions and barrier certificates give state-space guarantees of stability and safety, but synthesizing and verifying them---especially for nonlinear, high-dimensional sy…