Thom Badings

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

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

論文

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