Distribution Recovery for Invariant Generation of Probabilistic


Project Acronym Projekt Kurzbezeichnung
ProbInG
 
Project Title (de) Projekttitel (de)
Distribution Recovery for Invariant Generation of Probabilistic
 
Project Title (en) Projekttitel (en)
Distribution Recovery for Invariant Generation of Probabilistic Programs
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Funder/Funding Agency Fördergeber
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
Grant number Förderkennnummer
ICT19-018
 

Publications

Results 1-2 of 2 (Search time: 0.001 seconds).