Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments.

MLA

Kofnov, Andrey, et al. “Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments.” ACM Transactions on Modeling & Computer Simulation, vol. 34, no. 3, July 2024, pp. 1–25. EBSCOhost, https://doi.org/10.1145/3641545.

APA

Kofnov, A., Moosbrugger, M., Stankovic, M., Bartocci, E., & Bura, E. (2024). Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments. ACM Transactions on Modeling & Computer Simulation, 34(3), 1–25. https://doi.org/10.1145/3641545

Chicago

Kofnov, Andrey, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, and Efstathia Bura. 2024. “Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments.” ACM Transactions on Modeling & Computer Simulation 34 (3): 1–25. doi:10.1145/3641545.