Constrained Kripke Structure for Identifying Parameters of Biological Models
THEORETICAL COMPUTER SCIENCE（2024）
Key words
Biological system analysis,Model checking,Constrained Kripke structure,Automated parameter and model synthesis,Frameworks for model verification of,biological systems
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined