ARCH-COMP17 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, Dario Cattaruzza, Xin Chen 0002, Goran Frehse, Rajarshi Ray, Stefan Schupp. ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. In Goran Frehse, Matthias Althoff, editors, ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA. Volume 48 of EPiC Series, pages 143-159, EasyChair, 2017. [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 'Dario Cattaruzza' in GoogleThis author has not been identified. Look up 'Xin Chen 0002' in GoogleThis author has not been identified. Look up 'Goran Frehse' in GoogleThis author has not been identified. Look up 'Rajarshi Ray' in GoogleThis author has not been identified. Look up 'Stefan Schupp' in Google

runs on WebDSL