Constrained Kripke structure for identifying parameters of biological models

DOI10.1016/J.TCS.2024.114505MaRDI QIDQ6131194FDOQ6131194

Authors: Jean-Paul Comet, Hélène Collavizza, Laetitia Gibart 

Publication date: 4 April 2024

Published in: Theoretical Computer Science (Search for Journal in Brave)

Recommendations

• Model checking of biological systems
• Parameter synthesis for polynomial biological models
• Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
• scientific article; zbMATH DE number 1950556
• Constraint identification using modified Hoare logic on hybrid models of gene networks

zbMATH Keywords

model checkingautomated parameter and model synthesisbiological system analysisconstrained Kripke structureframeworks for model verification of biological systems

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Applications and Theory of Petri Nets 2005
• AEON: attractor bifurcation analysis of parametrised Boolean networks
• What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer
• On Boolean automata isolated cycles and tangential double-cycles dynamics
• Greening R. Thomas' framework with environment variables: a divide and conquer approach
• A genetically modified Hoare logic
• Family-based model checking with mCRL2

This page was built for publication: Constrained Kripke structure for identifying parameters of biological models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6131194)