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

by S Rosenschein, L P
Venue:Proc. of the 1986 Conf. on Theoretical Aspects of Reasoning About Knowledge