Sign in

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

Andrey KofnovMarcel MoosbruggerMiroslav StankovicEzio BartocciEfstathia Bura
Published in: CoRR (2023)
Keyphrases