Dieter Teichrib

19 papers Journal 10Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
A mixed-integer framework for analyzing neural network-based controllers for piecewise affine systems with bounded disturbances.
ECC
Dieter Teichrib, Moritz Schulze Darup
2025 J jnl
A mixed-integer framework for analyzing neural network-based controllers for piecewise affine systems with bounded disturbances.
CoRR
Dieter Teichrib, Moritz Schulze Darup
2025 — conf
FHERMA Cookbook: FHE Components for Privacy-Preserving Applications.
WAHC@CCS
Janis Adamek, Aikata Aikata, Ahmad Al Badawi, Andreea Alexandru, Armen Arakelov, Gurgen Arakelov, Philipp Binfet, Victor Correa, Jules Dumezy, Sergey Gomenyuk, Valentina Kononova, Dmitrii Lekomtsev, Vivian Maloney, Chi-Hieu Nguyen, Yuriy Polyakov, Daria Pianykh, Hayim Shaul, Moritz Schulze Darup, Dieter Teichrib, Dmitry Tronin
2025 J jnl
FHERMA Cookbook: FHE Components for Privacy-Preserving Applications.
IACR Cryptol. ePrint Arch.
Janis Adamek, Aikata Aikata, Ahmad Al Badawi, Andreea Alexandru, Armen Arakelov, Philipp Binfet, Victor Correa, Jules Dumezy, Sergey Gomenyuk, Valentina Kononova, Dmitrii Lekomtsev, Vivian Maloney, Chi-Hieu Nguyen, Yuriy Polyakov, Daria Pianykh, Hayim Shaul, Moritz Schulze Darup, Dieter Teichrib, Dmitry Tronin, Gurgen Arakelov
2025 J jnl
Polynomial Function Approximations With Leading Integer Coefficients for Efficient Encrypted Implementations.
IEEE Access
Dieter Teichrib, Janis Adamek, Philipp Binfet, Moritz Schulze Darup
2024 — conf
Piecewise regression via mixed-integer programming for MPC.
L4DC
Dieter Teichrib, Moritz Schulze Darup
2024 J jnl
Piecewise regression via mixed-integer programming for MPC.
CoRR
Dieter Teichrib, Moritz Schulze Darup
2024 — conf
Reachability analysis for piecewise affine systems with neural network-based controllers.
CDC
Dieter Teichrib, Moritz Schulze Darup
2024 J jnl
Reachability analysis for piecewise affine systems with neural network-based controllers.
CoRR
Dieter Teichrib, Moritz Schulze Darup
2023 — conf
Efficient Computation of Lipschitz Constants for MPC with Symmetries.
CDC
Dieter Teichrib, Moritz Schulze Darup
2023 J jnl
Efficient computation of Lipschitz constants for MPC with symmetries.
CoRR
Dieter Teichrib, Moritz Schulze Darup
2023 J jnl
Error bounds for maxout neural network approximations of model predictive control.
CoRR
Dieter Teichrib, Moritz Schulze Darup
2022 — conf
A deterministic view on explicit data-driven (M)PC.
CDC
Manuel Klädtke, Dieter Teichrib, Nils Schlüter, Moritz Schulze Darup
2022 J jnl
A deterministic view on explicit data-driven (M)PC.
CoRR
Manuel Klädtke, Dieter Teichrib, Nils Schlüter, Moritz Schulze Darup
2022 — conf
Tailored max-out networks for learning convex PWQ functions.
ECC
Dieter Teichrib, Moritz Schulze Darup
2022 J jnl
Tailored max-out networks for learning convex PWQ functions.
CoRR
Dieter Teichrib, Moritz Schulze Darup
2021 — conf
Tailored neural networks for learning optimal value functions in MPC.
CDC
Dieter Teichrib, Moritz Schulze Darup
2021 J jnl
Tailored neural networks for learning optimal value functions in MPC.
CoRR
Dieter Teichrib, Moritz Schulze Darup
2019 — conf
Efficient computation of RPI sets for tube-based robust MPC.
ECC
Moritz Schulze Darup, Dieter Teichrib