research
∙
03/22/2022
On Neural Network Equivalence Checking using SMT Solvers
Two pretrained neural networks are deemed equivalent if they yield simil...
share
research
∙
06/26/2018
Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine
Existing model-based processes for embedded real-time systems support th...
research
∙
06/26/2018
