On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology.
Aurélien RizkGrégory BattFrançois FagesSylvain SolimanPublished in: CMSB (2008)
Keyphrases
- temporal logic
- systems biology
- high throughput
- model checking
- biological systems
- biochemical networks
- biological networks
- biological data
- protein protein interactions
- verification method
- gene regulatory networks
- belief revision
- microarray
- biologically inspired
- molecular biology
- computational biology
- life sciences
- linear temporal logic
- database systems