Sadegh Soudjani

障害に直面しているシステムのレジリエンスを評価する新しいアプローチ。

ニューラルネットワークを使った自動運転車やドローンの安全性を確認する方法。

Silqで書かれた量子プログラムの正しさを検証するための自動ツール。

量子回路設計の最適化における遺伝アルゴリズムの役割を探る。

不確実なシステムのための効率的なコントローラーデザイン、抽象化技術を使って。

障壁証明書を使ってより安全な量子回路の検証を見てみよう。

Silqは、使いやすい機能で量子プログラミングを簡単にしてくれるよ。

SymAwareがどのように自律システムの協力と安全性を向上させるかを発見しよう。

新しいアルゴリズムは、強化学習の複雑なルールに従いながら、後悔を最小化するんだ。

自律走行車がスマート技術で交通をどう変えてるか見てみよう。