Ludovico Battista

According to our database, Ludovico Battista authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-Like Certificates.

Ludovico Battista, Stefano Tonetta

Proceedings of the Automated Technology for Verification and Analysis, 2025

2024

Formal Verification of Stability for Parametric affine Switched Systems.

Ludovico Battista, Stefano Tonetta

Proceedings of the 8th IFAC Conference on Analysis and Design of Hybrid Systems, 2024

2023

SMT-Based Stability Verification of an Industrial Switched PI Control Systems.

Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta, Vassilios A. Tsachouridis

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023