Distribution Recovery for Invariant Generation of Probabilistic Programs

01.12.2019 - 30.04.2024
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungsmittel

  • WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National) Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF) Fördergeber Typ Bundesland Wien

Forschungsschwerpunkte

  • Computational Science and Engineering
  • Information and Communication Technology