-
-studies have shown that full automation is possible in principle when formally verifying systems using reachability analysis. However, our pre-studies also showed that further research is needed
-
expertise. The Clinical Epidemiology Unit (clinicalepi.de ) uses and develops modern statistical and mathematical methods for the analysis of primary and secondary data. A particular focus of the Unit is the
-
Methods Reachability Analysis Computational Geometry Context The applicant will be directly advised by Prof. Matthias Althoff ( https://www.ce.cit.tum.de/cps/members/prof-dr-ing-matthias-althoff/ ). Besides
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
Control we focus on research and teaching of control and optimization of cooperative, networked, and distributed dynamical systems. We develop novel methods and tools for the analysis and control
-
). AI methods, and especially machine learning (ML) with deep neural networks have replaced traditional data analysis methods in recent years. The Technical University of Munich (TUM), together
-
: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification, building model checkers