Distribution Estimation for Probabilistic Loops - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci, Efstathia Bura. Distribution Estimation for Probabilistic Loops. 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 26-42, Springer, 2022. [doi]

This author has not been identified. Look up 'Ahmad Karimi' 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 'Laura Kovács' 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