Showing 2024Show all
2 papers · 1 filter
q-bio.MN2024
On Hybrid Gene Regulatory Networks
Adrian Wurm, Honglu Sun
In this work, we study a class of hybrid dynamical systems called hybrid gene regulatory networks (HGRNs) which was proposed to model gene regulatory networks. In HGRNs, there exis…
cs.AI2024
Robustness Verifcation in Neural Networks
Adrian Wurm
In this paper we investigate formal verification problems for Neural Network computations. Of central importance will be various robustness and minimization problems such as: Given…