Computer-Aided Synthesis of Probabilistic Models

Computer-Aided Synthesis of Probabilistic Models

Author

Roman Andriushchenko

Supervisor

RNDr. Milan Češka, Ph.D.

About the project

Abstract Thesis

Year

2020

Share