Strongly-Typed Agents are Guaranteed to Interact Safely

David Balduzzi

Abstract: As artificial agents proliferate, it is becoming increasingly important to ensure that their interactions with one another are well-behaved. In this paper, we formalize a common-sense notion of whe...