Clock specifications for temporal tasks in planning and learning

Recently, Linear Temporal Logics on finite traces, such as LTL<sub>𝑓</sub> (or LDL<sub>𝑓</sub> ), have been advocated as high-level formalisms to express dynamic properties, such as goals in planning domains or rewards in Reinforcement Learning (RL). This paper addresses the...

詳細記述

書誌詳細
主要な著者: De Giacomo, G, Favorito, M, Patrizi, F
フォーマット: Conference item
言語:English
出版事項: CEUR Workshop Proceedings 2024