Dávid Tollner

Budapest University of Technology and Economics · Department of Differential Equations

The use of neural networks in embedded systems is becoming increasingly common, but these systems often operate in safety–critical environments, where a failure or incorrect output can have serious consequences. Therefore, it is essential to verify the expected operation of neural networks before deploying them in such settings. In this publication...