A Study of the PDGF Signaling Pathway with PRISM
Qixia Yuan (University of Luxembourg), Jun Pang (University of, Luxembourg), Sjouke Mauw (University of Luxembourg), Panuwat Trairatphisan, (University of Luxembourg), Monique Wiesinger (University of Luxembourg),, Thomas Sauter (University of Luxembourg)
TL;DR
This paper demonstrates how the probabilistic model checker PRISM can be applied to analyze the PDGF signaling pathway, providing insights into its behavior through quantitative verification methods.
Contribution
It introduces a detailed application of PRISM to a biological signaling pathway, showcasing the potential of probabilistic model checking in systems biology.
Findings
Quantitative verification offers new insights into PDGF pathway dynamics.
PRISM effectively models biological signaling processes.
The approach enhances understanding of pathway behavior.
Abstract
In this paper, we apply the probabilistic model checker PRISM to the analysis of a biological system -- the Platelet-Derived Growth Factor (PDGF) signaling pathway, demonstrating in detail how this pathway can be analyzed in PRISM. We show that quantitative verification can yield a better understanding of the PDGF signaling pathway.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.