HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Khalil Ghorbal

Publications
Non-linear Continuous Systems for Safety Verification
Andrew Sogokon, Khalil Ghorbal and Taylor T Johnson
In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems

Keyphrases

benchmark, continuous systems, nonlinear systems, ordinary differential equations, Polynomial dynamics, reachability, safety, verification.

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