Running SpaceEx on the ARCH14 Benchmarks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefano Minopoli, Goran Frehse. Running SpaceEx on the ARCH14 Benchmarks. In Goran Frehse, Matthias Althoff, editors, 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015. Volume 34 of EPiC Series in Computing, pages 196-206, EasyChair, 2015. [doi]

This author has not been identified. Look up 'Stefano Minopoli' in GoogleThis author has not been identified. Look up 'Goran Frehse' in Google

runs on WebDSL