Statistical Inference and Temporal Logics on Pathway Models Using Interval Discrete-Time Markov Chain

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Conference object 19 Nov 2025 English Publisher:Springer Nature Switzerland

Authors: Hailey Sparks; Krishnendu Ghosh;

doi: 10.1007/978-3-032-08455-2_12 , 10.5281/zenodo.13625890 , 10.5281/zenodo.13625889

Statistical Inference and Temporal Logics on Pathway Models Using Interval Discrete-Time Markov Chain

- Summary
- Metrics

Abstract

Contains all models, submodels, scripts, plots, and results used in the analysis of a Galactose Regulatory Model. For the analysis, many discrete-time Markov chain (DTMC) submodels are constructed from one uncertain interval discrete-time Markov Chain model (IDTMC). Using PRISM Model Checker, probabilistic model checking queries are performed on the DTMCs. The Expectation-Maximization (EM) and Markov chain Monte Carlo (MCMC) algorithms condense the query results for analysis.

Related Organizations

College of Charleston
United States

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

0

Average

Green