Author:Alessandro Abate

Publications
Benchmarks for stochastic models from building automation systems Nathalie Cauchi and Alessandro Abate In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP18 Category Report: Stochastic Modelling Alessandro Abate, Henk Blom, Nathalie Cauchi, Sofie Haesaert, Arnd Hartmanns, Kendra Lesser, Meeko Oishi, Vignesh Sivaramakrishnan, Sadegh Soudjani, Cristian-Ioan Vasile and Abraham P. Vinod In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'Ul Mufid and Enea Zaffanella In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
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