Thom Badings

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

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

論文

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

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

• Decision-Making Under Uncertainty: Beyond Probabilities
  2023/3/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
• Correct-by-construction reach-avoid control of partially observable linear stochastic systems
  2021/3/1