Scalable Zonotope-Ellipsoid Conversions using the Euclidean Zonotope Norm. - Victor Gaßmann; Matthias Althoff (ACC, 2020)

Minimization of Constraint Violation Probability in Model Predictive Control. - Tim Brüdigam; Victor Gaßmann; Dirk Wollherr; Marion Leibold (CoRR, 2020)

Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems. - Victor Gaßmann; Matthias Althoff (ADHS, 2021)

AROC: a toolbox for automated reachset optimal controller synthesis. - Niklas Kochdumper; Felix Gruber; Bastian Schürmann; Victor Gaßmann; Moritz Klischat; Matthias Althoff (HSCC, 2021)

Implementation of Ellipsoidal Operations in CORA 2022. - Victor Gaßmann; Matthias Althoff (ARCH@SAFECOMP, 2022)

Privacy-preserving set-based estimation using partially homomorphic encryption. - Amr Alanwar 001; Victor Gaßmann; Xingkang He; Hazem Said; Henrik Sandberg; Karl Henrik Johansson; Matthias Althoff (Eur. J. Control, 2023)