Project Announcement: ProbInG

Distribution Recovery for Invariant Generation of Probabilistic Programs.

Principal Investigators: Ezio Bartocci (PI), Laura Kovács (Co-PI), Efstathia Bura (Co-PI)
Project Assistants: tba

Starting Date: May 2020 

Funded by the WWTF as part of the ICT19 Call. Find the project announcements here: TU Wien News and WWTF News.

More details to follow soon.

← Back/Zurück