10 citations · 14 across the 9 of their papers we have counts for
1 paper · 1 filter
David Angeli, Matthew Philippe, Nikolaos Athanasopoulos +1
A Path-Complete Lyapunov Function is an algebraic criterion composed of a finite number of functions, called its pieces, and a directed, labeled graph defining Lyapunov inequalitie…