ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray 0001, Christian Schilling 0001, Stefan Schupp, Mark Wetzlinger. ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020. Volume 74 of EPiC Series in Computing, pages 16-48, EasyChair, 2020. [doi]

This author has not been identified. Look up 'Matthias Althoff' in GoogleThis author has not been identified. Look up 'Stanley Bak' in GoogleThis author has not been identified. Look up 'Zongnan Bao' in GoogleThis author has not been identified. Look up 'Marcelo Forets' in GoogleThis author has not been identified. Look up 'Goran Frehse' in GoogleThis author has not been identified. Look up 'Daniel Freire' in GoogleThis author has not been identified. Look up 'Niklas Kochdumper' in GoogleThis author has not been identified. Look up 'Yangge Li' in GoogleThis author has not been identified. Look up 'Sayan Mitra' in GoogleThis author has not been identified. Look up 'Rajarshi Ray 0001' in GoogleThis author has not been identified. Look up 'Christian Schilling 0001' in GoogleThis author has not been identified. Look up 'Stefan Schupp' in GoogleThis author has not been identified. Look up 'Mark Wetzlinger' in Google

runs on WebDSL