Search

Aurélien Rizk

Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints
A general computational method for robustness analysis with applications to synthetic gene networks
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology

Published with Wowchemy — the free, open source website builder that empowers creators.