ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios E. Fainekos. ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks. 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 170-174, EasyChair, 2017. [doi]

This author has not been identified. Look up 'Adel Dokhanchi' in GoogleThis author has not been identified. Look up 'Shakiba Yaghoubi' in GoogleThis author has not been identified. Look up 'Bardh Hoxha' in GoogleThis author has not been identified. Look up 'Georgios E. Fainekos' in Google

runs on WebDSL