Andrey Kofnov is qualified to endorse.
Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments
Andrey Kofnov: | Is registered as an author of this paper. Can endorse for cs.SC, stat.AP, stat.ME. (why?) |
Marcel Moosbrugger, Miroslav Stankovič, Ezio Bartocci and Efstathia Bura are not registered as owners of this paper. (why?)