HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Stefano Minopoli

Publications
Running SpaceEx on the ARCH14 Benchmarks
Stefano Minopoli and Goran Frehse
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems

Keyphrases

hybrid automata, hybrid systems, MATLAB, reachability, safety, Simulink, Stateflow, tools, verification.

Copyright © 2012-2023 easychair.org. All rights reserved.