Ludovico Battista

Publications

1. Battista Ludovico; Tonetta Stefano, Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-Like Certificates
2. Battista Ludovico; Francaviglia Stefano; Moraschini Marco; Sarti Filippo; Savini Alessio, Bounded cohomology classes of exact forms
3. Battista Ludovico; Ferrari Leonardo; Santoro Diego, Dodecahedral L-spaces and hyperbolic 4-manifolds
4. Battista Ludovico; Tonetta Stefano, Formal Verification of Stability for Parametric affine Switched Systems
5. Basagiannis Stylianos; Battista Ludovico; Becchi Anna; Cimatti Alessandro; Giantamidis Georgios; Mover Sergio; Tacchella Alberto; Tonetta Stefano; Tsachouridis Vassilios, Stability Verification of an Industrial Switched PI Control Systems
6. Basagiannis Stylianos; Battista Ludovico; Becchi Anna; Cimatti Alessandro; Giantamidis Georgios; Mover Sergio; Tacchella Alberto; Tonetta Stefano; Tsachouridis Vassilios, SMT-Based Stability Verification of an Industrial Switched PI Control Systems
7. Battista Ludovico, Infinitesimal rigidity for cubulated manifolds