The synthesis of digital machines with provable epistemic properties (1986)

by S J Rosenschein, L P Kaelbling
Venue:In