Formal Analysis of Uncertain Continuous Markov Chains in Systems Biology. - Krishnendu Ghosh; Caroline Goodman (BIOSTEC (1), 2024)