Author:Ludovico Battista

Publications
SpaceEx Hybrid Models with LTL Properties Ludovico Battista, Stefano Tonetta and Gianni Zampedri In:Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
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 and Vassilios Tsachouridis In:Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems