10 citations · 14 across the 9 of their papers we have counts for
1 paper · 2 filters
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…