Replicated Computational Results (RCR) Report for "ProPPA: Probabilistic Programming for Stochastic Dynamical Systems"

Open Webpage

David Parker

Published: 01 Jan 2018, Last Modified: 22 Dec 2024ACM Trans. Model. Comput. Simul. 2018EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: “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.