Sort by
Refine Your Search
-
such as quantisation and sampling are often ignored during the verification of AI models. Yet, they are pervasive phenomena in any engineering application where digital compute platforms interact with
Searches related to software verification computer science
Enter an email to receive alerts for software-verification-computer-science positions