Foto von Niklas Kochdumper

M.Sc. Niklas Kochdumper

Postadresse

Postal:
Boltzmannstr. 3
85748 Garching b. München

Niklas Kochdumper, M.Sc.

Niklas Kochdumper is currently a research assistant and Phd student under the supervison of Prof. Dr.-Ing. Matthias Althoff. He obtained his bachelor's degree in Mechanical Engineering and his master's degree in Robtic, Cognition, Intelligence both at the Technichal University of Munich.

Research Interests

  • Formal verification of hybrid systems
  • Reachability Analysis

Currently, Niklas Kochdumper is involved in the following research project:

Teaching

- Lecture: Techniques in Artificial Intelligence

- Master Practical Course: Verification, Controller Synthesis, and Design of Cyber-Physical Systems

- Seminar: Cyber-Physical Systems

Publications

2018

  • Althoff, M.; Grebenyuk, D.; Kochdumper, N.: Implementation of Taylor Models in CORA 2018. Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems, 2018 mehr… BibTeX Volltext (mediaTUM)
  • Immler, F.; Althoff, M.; Chen, X.; Fan, C.; Frehse, G.; Kochdumper, N.; Li, Y.; Mitra, S.; Tomar, M. S.; Zamani, M.: ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems, 2018 mehr… BibTeX Volltext (mediaTUM)
  • M. Althoff, S. Bak, X. Chen, C. Fan, M. Forets, G. Frehse, N. Kochdumper, Y. Li, S. Mitra, R. Ray, C. Schilling and S. Schupp: ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems, 2018, 23-52 mehr… BibTeX Volltext (mediaTUM)