Preprint · ✓完成 · 深堀り済 2026.07.14 不確実性を克服したLTL学習——安全システム設計への道しるべ 不確実性のあるデモンストレーションから最小限の線形時刻論理式を学習するフレームワーク 査読前の可能性がある研究情報 安全なシステム設計における不確実性への対処法を提案 線形時刻論理 LTL ハミング距離 システムデモンストレーション arXiv cs.AI