Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura. Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments. In Erika Ábrahám, Marco Paolieri, editors, Quantitative Evaluation of Systems - 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings. Volume 13479 of Lecture Notes in Computer Science, pages 3-25, Springer, 2022. [doi]

This author has not been identified. Look up 'Andrey Kofnov' in GoogleThis author has not been identified. Look up 'Marcel Moosbrugger' in GoogleThis author has not been identified. Look up 'Miroslav Stankovic' in GoogleThis author has not been identified. Look up 'Ezio Bartocci' in GoogleThis author has not been identified. Look up 'Efstathia Bura' in Google

runs on WebDSL