Login / Signup
Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty.
Grégory Batt
Calin Belta
Ron Weiss
Published in:
IEEE Trans. Autom. Control. (2008)
Keyphrases
</>
temporal logic
model checking
modal logic
gene networks
data sets
feature selection
statistical analysis
linear temporal logic