Distribution Recovery for Invariant Generation of Probabilistic Programs

01.12.2019 - 30.04.2025
Forschungsförderungsprojekt

Personen

Projektleiter_in

Subprojektmanager_innen

Institut

Förderungsmittel

  • WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National) Informations- und Kommunikationstechnologien Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF)

Forschungsschwerpunkte

  • Computational Science and Engineering
  • Information and Communication Technology