-
such as scalable identification algorithms, uncertainty quantification, and the integration of learning-based models with formal verification. We offer a supportive, inclusive, and collaborative research
-
to guarantee user-defined error bounds of reachable sets for nonlinear and hybrid systems. This project will exactly close this research gap: We will develop essentially new methods to ensure that algorithmic
-
sensing and communication: fundamental limits and algorithm design (1 PhD, Mari Kobayashi, mari.kobayashi@tum.de) • Optical fiber channel modeling, receiver processing, and coding (1PhD, Gerhard Kramer
-
for quantum computers and develop methods and software tools dedicated to the design and realization of quantum algorithms/circuits. We see ourselves as an interface between the stakeholders building physical