Marta Kwiatkowska

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

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

論文

• 線形時相論理仕様に基づく計画：定量化可能・不可能な不確実性への対処
  計画・LTL2025/2/1

  定量化可能・不可能な不確実性を統一的に扱うMDPST上で、LTL仕様を最適に満たすロボット計画手法を提案し、勝利領域の計算とロバスト価値反復で解く。

• LTLf計画における震える手問題
  計画・時相論理2024/4/1

  有限トレース線形時相論理（LTLf）の目標達成において、行動選択の誤り（震える手）があっても目標を満たす確率を最大化する戦略を合成する手法を提案し、決定論的・非決定論的領域の両方に対応した。

• 適応的Conformal Predictionによる動的エージェント環境での安全なPOMDPオンライン計画
  安全計画2024/4/1

  動的エージェントの軌道予測に適応的Conformal Predictionを適用して不確実性を定量化し、POMDPオンライン計画中に安全シールドを動的に構築することで、確率的な安全保証を維持する手法を提案した。

• Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications
  2023/10/1
• Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees
  2023/5/1
• Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture
  2019/7/1
• Resource-Performance Trade-off Analysis for Mobile Robot Design
  2016/9/1