Sort by
Refine Your Search
-
zonotopes in digital circuits and the model checking of discrete-space systems, with the goal of developing methodologies and tools that make verification scalable and reliable. Your research will focus
Enter an email to receive alerts for reliability "https:" positions