Author:Alessandro Carraro

Publications
ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics Matthias Althoff, Alessandro Carraro, Marcelo Forets, Maximilian Perschl and Christian Schilling In:Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems