Asgeir Johan Sørensen

Norwegian University of Science and Technology

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

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

論文

• 仕様を守り続ける：不確実性下でのリアルタイム監視と海事ケーススタディ
  監視/不確実性2026/8/1

  不確実性下でロボットが複雑な仕様を満たすことを監視する枠組みを提案し、データ駆動の到達可能集合を用いてデータ要件を削減。海事ナビゲーションに適用し、シミュレーションと実機実験で有効性を示した。

• pacSTL: データ駆動型到達可能性解析によるPAC有界信号時相論理
  形式手法/検証2025/11/1

  PAC有界な到達可能集合予測と区間拡張STLを組み合わせ、不確実性下でも仕様レベルのロバスト性区間を効率的に評価するフレームワークを提案。