800多名芝加哥居民在允许人行道机器人之前要求提供安全和ADA数据。 公众对自主技术的信任是脆弱的。没有可验证的决策流程，每个机器人都变成了一个黑匣子。 证明可以解决这个问题。