Keyword:Hylaa

Publications
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp and Mark Wetzlinger In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Numerical Verification of 10000-dimensional Linear Systems 10000x Faster Stanley Bak In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems