ARCH-COMP18 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, Xin Chen 0002, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray 0001, Christian Schilling, Stefan Schupp. ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. In Goran Frehse, Matthias Althoff, Sergiy Bogomolov, Taylor T. Johnson, editors, ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018. Volume 54 of EPiC Series in Computing, pages 23-52, EasyChair, 2018. [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 'Xin Chen 0002' in GoogleThis author has not been identified. Look up 'Chuchu Fan' 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 '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' in GoogleThis author has not been identified. Look up 'Stefan Schupp' in Google

runs on WebDSL