Moment-based invariants for probabilistic loops with non-polynomial assignments

DOI10.1007/978-3-031-16336-4_1zbMath1522.68133arXiv2205.02577WikidataQ124212470 ScholiaQ124212470MaRDI QIDQ6103023

Could not fetch data.

Publication date: 2 June 2023

Published in: (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2205.02577

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.