2 papers
cs.LO2016
A Hybrid Hoare Logic for Gene Network Models
Jonathan Behaegel, Jean-Paul Comet, Maxime Folschette
The main difficulty when modelling gene networks is the identification of the parameters that govern their dynamics. It is particularly difficult for models in which time is contin…
cs.CE2015
A Genetically Modified Hoare Logic
Gilles Bernot, Jean-Paul Comet, Zohra Khalis +2
An important problem when modeling gene networks lies in the identification of parameters, even if we consider a purely discrete framework as the one of René Thomas. Here we are in…