Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs.

Orieta Celiku, Annabelle McIver

Browse the full FM paper archive.