Advanced Methods for Synthesis of Probabilistic Programs

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