Author:Stefano Tonetta

Publications
Induction and K-Induction for Hyperproperties Alberto Bombardelli, Cesar Sanchez and Stefano Tonetta In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
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
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta and Enea Zaffanella In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Loopfrog — loop summarization for static analysis Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich and Christoph M. Wintersteiger In:WING 2010. Workshop on Invariant Generation 2010