Infinite Trace Objectives with Finite Trace Techniques: Translating LTL to LTLf+
arXiv cs.AI ・ 2026-08-03
AI による要約
AIの時相論理において、無限トレースを扱うLTLを有限トレースの拡張であるLTLf+に効率的に変換する手法を提案した研究。LTLの持つ表現力を維持しつつ、有限トレース用オートマトンに基づく効率的な決定化手順や最小表現を活用できるようになる。反応的合成や強化学習などの複雑なタスクにおける推論プロセスを改善する上で重要である。
この要約は当サイトの AI が生成したものです。正確な内容は 元記事（arXiv cs.AI）をご確認ください。