Running SpaceEx on the ARCH14 Benchmarks
Stefano Minopoli, Goran Frehse · EPiC series in computing · 2018
In this paper, we present experimental results from running SpaceEx on some of the benchmarks of the ARCH14 workshop. Some of the SpaceEx models were obtained from Matlab/Simulink models with the help of a new translation tool. While some benchmarks could be handled to our satisfaction, several still pose signicant challenges. We discuss possible alternatives for handling the problematic cases.