Program Checkers for Probability Generation.

Sampath Kannan, Andrew Chi-Chih Yao

Browse the full ICALP paper archive.