Ludovico Battista

Publications

1. Battista Ludovico; Francaviglia Stefano; Moraschini Marco; Sarti Filippo; Savini Alessio, Bounded cohomology classes of exact forms
2. Battista Ludovico; Ferrari Leonardo; Santoro Diego, Dodecahedral L-spaces and hyperbolic 4-manifolds
3. Battista Ludovico; Tonetta Stefano, Formal Verification of Stability for Parametric affine Switched Systems
4. 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
5. 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
6. Battista Ludovico, Infinitesimal rigidity for cubulated manifolds