@inproceedings{ICML-2017-Balduzzi,
	author        = "David Balduzzi",
	booktitle     = "{Proceedings of the 34th International Conference on Machine Learning}",
	ee            = "http://proceedings.mlr.press/v70/balduzzi17a.html",
	pages         = "332--341",
	publisher     = "{PMLR}",
	title         = "{Strongly-Typed Agents are Guaranteed to Interact Safely}",
	year          = 2017,
}