Advanced Methods for Synthesis of Probabilistic Programs

Author

Šimon Stupinský
Brno University of Technology, Faculty of Information Technology

Supervisor

Doc. Milan Češka

Year

2021

Share