On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology

@inproceedings{Rizk2008OnAC,
  title={On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology},
  author={Aur{\'e}lien Rizk and Gr{\'e}gory Batt and François Fages and Sylvain Soliman},
  booktitle={CMSB},
  year={2008}
}
Finding mathematical models satisfying a specification built from the formalization of biological experiments, is a common task of the modeller that techniques like model-checking help solving, in the qualitative but also in the quantitative case. In this article we propose to go one step further by defining a continuous degree of satisfaction of a temporal logic formula with constraints. We show how such a satisfaction measure can be used as a fitness function with state-of-the-art search… CONTINUE READING
Highly Cited
This paper has 150 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 73 extracted citations

An Algebraic Framework for Runtime Verification

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems • 2018
View 1 Excerpt

Lectures on Runtime Verification

Lecture Notes in Computer Science • 2018
View 1 Excerpt

150 Citations

0102030'10'12'14'16'18
Citations per Year
Semantic Scholar estimates that this publication has 150 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 40 references

Towards a theory of biological robustness

Molecular systems biology • 2007
View 4 Excerpts
Highly Influenced

Completely Derandomized Self-Adaptation in Evolution Strategies

Evolutionary Computation • 2001
View 4 Excerpts
Highly Influenced

Kinetic analysis of a molecular model of the budding yeast cell cycle.

Molecular biology of the cell • 2000
View 5 Excerpts
Highly Influenced

Sensitive state-space exploration

2008 47th IEEE Conference on Decision and Control • 2008
View 1 Excerpt

Using probabilistic model checking in systems biology

SIGMETRICS Performance Evaluation Review • 2008
View 1 Excerpt

Similar Papers

Loading similar papers…