ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella. ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. In Goran Frehse, Matthias Althoff, editors, ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019. Volume 61 of EPiC Series in Computing, pages 1-13, EasyChair, 2019. [doi]

This author has not been identified. Look up 'Goran Frehse' in GoogleThis author has not been identified. Look up 'Alessandro Abate' in GoogleThis author has not been identified. Look up 'Dieky Adzkiya' in GoogleThis author has not been identified. Look up 'Anna Becchi' in GoogleThis author has not been identified. Look up 'Lei Bu' in GoogleThis author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Mirco Giacobbe' in GoogleThis author has not been identified. Look up 'Alberto Griggio' in GoogleThis author has not been identified. Look up 'Sergio Mover' in GoogleThis author has not been identified. Look up 'Muhammad Syifa'ul Mufid' in GoogleThis author has not been identified. Look up 'Idriss Riouak' in GoogleThis author has not been identified. Look up 'Stefano Tonetta' in GoogleThis author has not been identified. Look up 'Enea Zaffanella' in Google

runs on WebDSL