2 Education "https:" "https:" Postdoctoral scholarships at Technical University of Munich
Sort by
Refine Your Search
-
more about logical zonotopes: paper link: https://lnkd.in/e-avQ-2B talk link: https://lnkd.in/eYGWFKmy You will conduct original research on logical–zonotope–based methods for model checking and digital
-
been tremendous progress in formal verification of cyber-physical systems, existing approaches still require expert knowledge. The main goal of this project is to develop essentially new methods
Enter an email to receive alerts for Education "https:" "https:" positions