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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Kofnov, Andrey; Moosbrugger, Marcel; Stankovič, Miroslav; Bartocci, Ezio; Bura, Efstathia

Journal title: ACM Transactions on Modeling and Computer Simulation - TOMACS

Journal number: Volume 34, Issue 3, Article No. 18

Journal publisher: Association for Computing Machinary, Inc.

Published year: 2024

Published pages: 1-25

DOI identifier: 10.1145/3641545

ISSN: 1049-3301