Probabilistic Metric Semantics for a Simple Language with Recursion.

Marta Z. Kwiatkowska, Gethin Norman

Browse the full MFCS paper archive.