Login / Signup

Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty.

Grégory BattCalin BeltaRon 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