@InCollection{LIS15,<br>title = {The Synthesis of Digital Machines with Provable Epistemic Properties},<br>author = {Stanley J. Rosenschein and Leslie Pack Kaelbling},<br>year = {1986},<br>url = {http://tark.org/proceedings/tark_mar19_86/p83-rosenschein.pdf},<br>pages = {83-98},<br>booktitle = {Proceedings of the Conference on Theoretical Aspects of Reasoning About Knowledge},<br>editor = {Joseph Halpern},<br>publisher = {Morgan Kaufmann},<br>}