Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods.

Virginie DebaucheMatteo Della RossaRaphaël M. Jungers
Published in: HSCC (2022)