HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:ellipsoidal operations

Publications
Implementation of Ellipsoidal Operations in CORA 2022
Victor Gaßmann and Matthias Althoff
In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Copyright © 2012-2025 easychair.org. All rights reserved.