Matthias Althoff

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (401)

• Influence of Process Parameter Variations on Stamping-Bending Component Quality
  Solid State Phenomena 2026
  +Save
• ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
  Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems 2026
  +Save
• ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
  Proc. of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems 2026
  +Save
• ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
  Proc. of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems 2026
  +Save
• Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation
  IEEE Transactions on Automatic Control 2026
  +Save
• CommonPower: A Framework for Safe Data-Driven Smart Grid Control
  IEEE Transactions on Smart Grid 2026
  +Save
• Efficiently Ensuring Traffic Rule Compliance of Motion Plans by Incorporating Scenario Knowledge
  IEEE Transactions on Intelligent Transportation Systems 2026
  +Save
• Falsification-driven reinforcement learning for maritime motion planning
  Ocean Engineering 2026
  +Save
• Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
  FDL2026 2026
  +Save
• Holistic Optimization of Modular Robots
  IEEE Transactions on Automation Science and Engineering 2026
  +Save