TY  - RPRT
TI  - Strongly-Typed Agents are Guaranteed to Interact Safely
AU  - David Balduzzi
PY  - 2018
UR  - https://arxiv.org/abs/1702.07450
ID  - 1702.07450
ER  -