Alessandro Abate

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

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

論文

• Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
  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