HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Sophie Gruenbacher

Publications
Under the Hood of a Stand-Alone Lagrangian Reachability Tool
Sophie Gruenbacher, Jacek Cyranka, Md Ariful Islam, Max Tschaikowski, Scott Smolka and Radu Grosu
In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems

Keyphrases

Finite Strain Theory, interval arithmetic, Lagrangian Reachability, Lagrangian Reachtube, Lohner QR Method, Reachability Algorithm, Reachtube tool.

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