Frederik Baymler Mathiesen

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

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

論文

• Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
  2025/11/1
• Data-Driven Permissible Safe Control with Barrier Certificates
  2024/5/1
• Piecewise Stochastic Barrier Functions
  2024/4/1
• A survey on robustness in trajectory prediction for autonomous vehicles
  2024/2/1