Author:Luca Geretti

Publications
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders and Christian Schilling In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems