You Seem Friendly, But Can I Trust You?

Abstract

Abstract.A "stranger agent" is an agent you did not build but may need to work with. Such strangers may come with a certificate saying "I have been tested, trust me". In the special case of nondeterministic agents built via FSMs, the level to which we can trust this certificate can be determined via a simple summary of topological features of the agent.