On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic.

Ugo Dal Lago, Guido Fiorillo, Paolo Pistone

Browse the full LICS paper archive.