ディープ・ロボティクスは自律型ロボット犬を使った救助訓練を実施しました。 これらの機械は、すべての決定が重要な状況で行動します。 暗号学的な証明は、接続が制限されていてもその行動が検証可能であることを保証します。