HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Ellipsoidal Toolbox

Papers
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-2023 easychair.org. All rights reserved.