HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Dmitry Grebenyuk

Publications
Implementation of Taylor models in CORA 2018
Matthias Althoff, Dmitry Grebenyuk and Niklas Kochdumper
In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Implementation of Interval Arithmetic in CORA 2016
Matthias Althoff and Dmitry Grebenyuk
In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems

Keyphrases

affine arithmetic, CORA2, Flow*, hybrid systems, interval arithmetic2, INTLAB, MATLAB, reachability, rigorous function bounds, Taylor models, tool.

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