Least Upper Bounds for Probability Measures and Their Applications to Abstractions.

Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan

Browse the full CONCUR paper archive.