Research

Hyperbolic 4-manifolds with perfect circle-valued Morse functions.

Transactions of the American Mathematical Society. 2022. j/w Bruno Martelli.
Infinitesimal Rigidity for Cubulated Manifolds.

Geometriae Dedicata. 2023.
Dodecahedral L-spaces and hyperbolic 4-manifolds.

Accepted in Communications in Analysis and Geometry. 2022. j/w Leonardo Ferrari and Diego Santoro.
Bounded Cohomology Classes of Exact Forms.

Proceedings of the American Mathematical Society. 2023. j/w S. Francaviglia, M. Moraschini, F. Sarti, A. Savini.
SMT-Based Stability Verification of an Industrial Switched PI Control Systems.

Workshop VERDI - International Conference on Dependable Systems and Networks. 2023. j/w S. Basagiannis, A. Becchi, A. Cimatti, G. Giantamidis, S. Mover, A. Tacchella, S. Tonetta, V. A. Tsachouridis.
Stability Verification of an Industrial Switched PI Control Systems.

Workshop ARCH 2024. j/w S. Basagiannis, A. Becchi, A. Cimatti, G. Giantamidis, S. Mover, A. Tacchella, S. Tonetta, V. A. Tsachouridis.
Formal Verification of Stability for Parametric Affine Switched Systems.

Conference ADHS24. 2024. j/w Stefano Tonetta.
Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-like Certificates.

(To be published at) ATVA25. 2025. j/w Stefano Tonetta.