2 papers
cs.LO2023
Neural Abstractions
Alessandro Abate, Alec Edwards, Mirco Giacobbe
We present a novel method for the safety verification of nonlinear dynamical models that uses neural networks to represent abstractions of their dynamics. Neural networks have exte…
cs.CE2014
Model Checking Gene Regulatory Networks
Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta +3
The behaviour of gene regulatory networks (GRNs) is typically analysed using simulation-based statistical testing-like methods. In this paper, we demonstrate that we can replace th…