Infer gene regulatory networks from time series data with formal methods | IEEE Conference Publication | IEEE Xplore