Connecting discrete and continuous neural network models

The goal of this Master thesis is to establish formal relationships (such as simulation relations in) between the behavior of a discrete neural network and the corresponding continuous neural ODE. Such relationships could then be used to guarantee the safe behavior of one of the models after proceeding to the safety verification of the other model.