Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Technical University of Munich
- Forschungszentrum Jülich
- Kassel Institute for Sustainability
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- Johannes Gutenberg University Mainz
- Max Planck Institute for Demographic Research (MPIDR)
- Max Planck Institute for Gravitational Physics, Potsdam-Golm
- Max Planck Institute for Mathematics in the Sciences
- Nature Careers
- University of Tübingen
-
Field
-
that algorithmic 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
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
months but can be extended for another 24 months (extension is subject to a positive performance evaluation). About us… Founded in 2002, TUM School of Management is part of TUM, one of the leading
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
approaches 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
-
team with whom 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