Verification of Relational Properties in Probabilistic Programs
Project Period: 2026-09-01 – 2028-08-31
Funder:
Österreichische Akademie der Wissenschaften
Principal Investigator
Department(s)
Grant Number
27751
Funder
Österreichische Akademie der Wissenschaften
Funder Schema
OeAW-DOC
Funder Registry