Probabilistic algorithmic knowledge.

Joseph Y. Halpern, Riccardo Pucella

Browse the full TARK paper archive.