Constrained Kripke structure for identifying parameters of biological models (Q6131194)
From MaRDI portal
scientific article; zbMATH DE number 7827498
Language | Label | Description | Also known as |
---|---|---|---|
English | Constrained Kripke structure for identifying parameters of biological models |
scientific article; zbMATH DE number 7827498 |
Statements
Constrained Kripke structure for identifying parameters of biological models (English)
0 references
4 April 2024
0 references
biological system analysis
0 references
model checking
0 references
constrained Kripke structure
0 references
automated parameter and model synthesis
0 references
frameworks for model verification of biological systems
0 references