Moshe Y. Vardi
収録論文 5本 ・ フィジカルAI/ロボット学習
信頼性/説明可能性検証/反証群制御マニピュレーション
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- 実因果性を用いたサイバーフィジカルシステムの障害説明信頼性/説明可能性2026/6/1
本論文は、実際の因果関係の枠組みを用いて、自律走行車などのサイバーフィジカルシステムの予期せぬ障害を説明する手法を提案する。理論的ギャップを埋め、説明の最適性と導出効率を優先する2つの実用的アルゴリズムを提示し、ニューラルネットワーク制御の自動車で実証する。
- 豊かな環境における自律システムの反証探索検証/反証2024/12/1
ニューラルネット制御器を持つ自律システムの安全性検証のため、反証問題をメタシステムの軌道計画として再定式化する新しい手法を提案した論文。
- 再利用可能なマルチロボット計画戦略を抽象ハイパーグラフとして符号化群制御2024/9/1
ハイパーグラフベースのマルチロボットタスク計画に、単一ロボット向けの抽象化学習を拡張し、計画経験から再利用可能な戦略を自動抽出する手法を提案した。
- 対話型マニピュレーション領域のための確率ゲームマニピュレーション2024/3/1
人間・ロボット・環境の相互作用を確率ゲームとしてモデル化し、複雑なタスクを保証付きで達成する戦略を合成する手法を提案。PRISM-gamesのモデル構築法を改良し、計算のスケーラビリティを2桁向上させた。
- Synthesis from Satisficing and Temporal Goals2022/5/1