Formal Analysis of Uncertain Continuous Markov Chains in Systems Biology

Krishnendu Ghosh, Caroline Goodman. Formal Analysis of Uncertain Continuous Markov Chains in Systems Biology. In Maria Pedro Guarino, Kazuhiro Hotta, Malik Yousef, Hui Liu 0035, Giovanni Saggio, Ana L. N. Fred, Hugo Gamboa, editors, Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2024, Volume 1, Rome, Italy, February 21-23, 2024. pages 519-526, SCITEPRESS, 2024. [doi]

Abstract

Abstract is missing.