Sign in

Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments.

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