Temporal logic analysis of gene networks under parameter uncertainty (0)

by G Batt, C Belta, R Weiss
Venue:IEEE Transactions on Automatic Control