Battista, Ludovico
Battista, Ludovico
FM
Bounded cohomology classes of exact forms
2024-01-01 Battista, Ludovico; Francaviglia, Stefano; Moraschini, Marco; Sarti, Filippo; Savini, Alessio
Dodecahedral L-spaces and hyperbolic 4-manifolds
2024-01-01 Battista, Ludovico; Ferrari, Leonardo; Santoro, Diego
Formal Verification of Stability for Parametric affine Switched Systems
2024-01-01 Battista, Ludovico; Tonetta, Stefano
Infinitesimal rigidity for cubulated manifolds
2023-01-01 Battista, Ludovico
SMT-Based Stability Verification of an Industrial Switched PI Control Systems
2023-01-01 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
2024-01-01 Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Bounded cohomology classes of exact forms | 1-gen-2024 | Battista, Ludovico; Francaviglia, Stefano; Moraschini, Marco; Sarti, Filippo; Savini, Alessio | |
Dodecahedral L-spaces and hyperbolic 4-manifolds | 1-gen-2024 | Battista, Ludovico; Ferrari, Leonardo; Santoro, Diego | |
Formal Verification of Stability for Parametric affine Switched Systems | 1-gen-2024 | Battista, Ludovico; Tonetta, Stefano | |
Infinitesimal rigidity for cubulated manifolds | 1-gen-2023 | Battista, Ludovico | |
SMT-Based Stability Verification of an Industrial Switched PI Control Systems | 1-gen-2023 | 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 | 1-gen-2024 | Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios |