Antoine Besset

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

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

論文

• STL仕様下での論理依存追跡による高速制約抽出と修正制御
  制御/形式手法2026/9/8

  Signal Temporal Logic仕様の不確実性下での充足を保証するため、論理依存追跡で不確実性を伝播させ、十分制約のDNFを高速抽出し、最小努力の制御修正を線形計画で実現する手法を提案。