Sort by
Refine Your Search
-
Category
-
Employer
- Technical University of Munich
- Forschungszentrum Jülich
- Leibniz
- Max Planck Institute for Multidisciplinary Sciences, Göttingen
- Nature Careers
- Alfred-Wegener-Institut Helmholtz-Zentrum für Polar- und Meeresforschung
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- Johannes Gutenberg University Mainz
- Ludwig-Maximilians-Universität München
- Max Planck Institute for Demographic Research (MPIDR)
- Max Planck Institute of Animal Behavior, Radolfzell / Konstanz
- 1 more »
- « less
-
Field
-
parameters are tuned so that the over-approximation of the computed reachable set is small enough to verify a given specification. We will demonstrate our approach not only on ARCH benchmarks, but also on
-
: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification, building model checkers
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
for sustainability, new concepts for security and solutions for current latencies in communication networks. Find out more about the project under https://6g-life.de/ About us: At the Chair of Information-Oriented
-
you can design the next-level EV? Become part of our Electric Vehicle Lab at the Institute of Automotive Technology and actively shape the future of mobility! About us The Electric Vehicle (EV) Lab