Template-Dependent Lifts for Path-Complete Stability Criteria and Application to Positive Switching Systems. - Virginie Debauche; Matteo Della Rossa; Raphaël M. Jungers (ADHS, 2021)

Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods. - Virginie Debauche; Matteo Della Rossa; Raphaël M. Jungers (HSCC, 2022)

Characterization of the ordering of path-complete stability certificates with addition-closed templates. - Virginie Debauche; Matteo Della Rossa; Raphaël M. Jungers (HSCC, 2023)

Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions. - Virginie Debauche; Alec Edwards; Raphaël M. Jungers; Alessandro Abate (AAAI, 2024)

Formal Synthesis of Lyapunov Stability Certificates for Linear Switched Systems using ReLU Neural Networks. - Virginie Debauche; Alec Edwards; Raphaël M. Jungers; Alessandro Abate (NeuS, 2025)