Replicated Computational Results (RCR) Report for “ProPPA: Probabilistic Programming for Stochastic Dynamical Systems”
本报告复现了ProPPA工具集并重复了原文的仿真实验，验证了其结果是可重复的，对关注概率编程和随机动力系统模拟的研究者有用。
“ProPPA: Probabilistic Programming for Stochastic Dynamical Systems,” by Georgoulas, Hillston, and Sanguinetti, introduces the ProPPA formalism, which brings together ideas from stochastic process algebras with those from the paradigm of probabilistic programming. The article formally defines the ProPPA language and its semantics and presents a tool-set, along with results from illustrative examples. This replicated computational results report installs and runs the tool-set and repeats the simulation-based results from the article, finding that the published results are repeatable.