Thomas A. Henzinger

QuAKがシステムの性能と安全性を評価する役割を発見しよう。

公平性シールドはAIの決定を監視して、平等を促進し、バイアスを減らすんだ。

革新的なランタイムモニタリングは、ドローンや船の安全性と安定性を高める。

予測モニタリングが自動運転車やロボットの安全性をどう高めるか学ぼう。