Goli Vaisi

収録論文 2本 ・ フィジカルAI/ロボット学習

※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。

論文

• ニューラルネットワーク制御バリア関数から前方不変集合を抽出する手法
  安全性検証2025/1/1

  学習済みニューラルネットワークがバリア関数として安全証明となる状態空間の領域を、到達可能性解析と超平面配置の列挙を組み合わせて形式的に特定するアルゴリズムを提案した。

• EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency
  2023/2/1