Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Niklas Kochdumper
ARCH-COMP19 Category Report: Continuous and Hybrid Systems With Linear Continuous Dynamics