The Synthesis of Digital Machines With Provable Epistemic Properties.

Stanley J. Rosenschein, Leslie Pack Kaelbling

Browse the full TARK paper archive.