Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Technical University of Munich
- Boehringer Ingelheim International GmbH
- Constructor University Bremen gGmbH
- DAAD
- Helmholtz-Zentrum Hereon
- Max Planck Institute for the History of Science, Berlin
- Max Planck Institute for the Study of Crime, Security and Law, Freiburg
- Max Planck Institute of Microstructure Physics, Halle (Saale)
-
Field
-
-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
Searches related to first principles
Enter an email to receive alerts for first-principles positions