Author:Alessandro Abate

Publications
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu and Mirco Giacobbe In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems