The lack of precise numerical information for the values of
biological parameters severely limits the development and analysis of
models of genetic regulatory networks. To deal with this problem, we
propose a method for the analysis of genetic regulatory networks with
parameter uncertainty. We consider models based on
piecewise-multiaffine differential equations, dynamical properties
expressed in temporal logic, and intervals for the values of uncertain
parameters. The problem is then either to guarantee that the system
satisfies the expected properties for every possible parameter value -
the corresponding parameter set is then called valid - or to find valid
subsets of a given parameter set. The proposed method uses discrete
abstractions and model checking, and allows for efficient search of the
parameter space. This approach has been implemented in a tool for
robust verification of gene networks (RoVerGeNe) and applied to the
tuning of a synthetic network build in E. coli.