Alessandro Abate

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

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

論文

• 二重プロセスによる動作計画
  動作計画2026/9/1

  ロボットの動作計画において、記号的ソルバーと学習ベースのモジュールを組み合わせた二重プロセスアーキテクチャを提案し、効率性と精度の向上を実証した。

• 線形バウンド伝播によるニューラル制御バリア関数のスケーラブルな検証
  安全性検証2025/11/1

  ニューラル制御バリア関数の検証を、線形バウンド伝播とマコーミック緩和で効率化し、大規模ネットワークにも適用可能にした。

• Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
  2022/12/1
• Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty
  2022/10/1
• Bounded Robustness in Reinforcement Learning via Lexicographic Objectives
  2022/9/1
• Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
  2021/10/1