Author:Victor Gaßmann

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)