Clock specifications for temporal tasks in planning and learning

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...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	De Giacomo, G, Favorito, M, Patrizi, F
Định dạng:	Conference item
Ngôn ngữ:	English
Được phát hành:	CEUR Workshop Proceedings 2024

Những quyển sách tương tự

Planning for temporally extended goals in pure-past linear temporal logic
Bằng: Bonassi, L, et al.
Được phát hành: (2023)

FOND planning for pure-past linear temporal logic goals
Bằng: Bonassi, L, et al.
Được phát hành: (2023)

Exploiting multiple abstractions in episodic RL via reward shaping
Bằng: Cipollone, R, et al.
Được phát hành: (2023)

Composition of stochastic services for LTLf goal specifications
Bằng: De Giacomo, G, et al.
Được phát hành: (2024)

Reactive Task and Motion Planning under Temporal Logic Specifications
Bằng: Li, Shen, et al.
Được phát hành: (2022)

Learning and Planning for Temporally Extended Tasks in Unknown Environments
Bằng: Bradley, Christopher, et al.
Được phát hành: (2022)

A tool for declarative Trace Alignment via automated planning
Bằng: De Giacomo, G, et al.
Được phát hành: (2023)

Bayesian inference of temporal task specifications from demonstrations
Bằng: Shah, Ankit Jayesh, et al.
Được phát hành: (2020)

Task-Specific Sensor Planning for Robotic Assembly Tasks
Bằng: Rosman, Guy, et al.
Được phát hành: (2021)

Finite-trace and generalized-reactivity specifications in temporal synthesis
Bằng: De Giacomo, G, et al.
Được phát hành: (2023)

Temporally extended goal recognition in fully observable non-deterministic domain models: temporally extended goal recognition in FOND planning
Bằng: Pereira, RF, et al.
Được phát hành: (2023)

Optimal planning with temporal logic specifications
Bằng: Karaman, Sertac
Được phát hành: (2010)

Mimicking behaviors in separated domains (abstract reprint)
Bằng: De Giacomo, G, et al.
Được phát hành: (2024)

Mimicking behaviors in separated domains
Bằng: De Giacomo, G, et al.
Được phát hành: (2023)

Learning task-specific similarity
Bằng: Shakhnarovich, Gregory
Được phát hành: (2007)

Partial order temporal plan merging for mobile robot tasks
Bằng: Mudrova, L, et al.
Được phát hành: (2016)

A neural clock underlying the temporal dynamics of an auditory memory
Bằng: Bahle, Andrew H.
Được phát hành: (2024)

Temporal transcriptomics suggest that twin-peaking genes reset the clock.
Bằng: Pembroke, W, et al.
Được phát hành: (2015)

TACO: Learning task decomposition via temporal alignment for control
Bằng: Shiarlis, K, et al.
Được phát hành: (2018)

Learning to Plan and Planning to Learn in Long-Horizon Robotics Tasks
Bằng: Kumar, Nishanth Jay
Được phát hành: (2024)

On the clock of the combinatorial clock auction
Bằng: Janssen, M, et al.
Được phát hành: (2019)

On learning task-directed motion plans
Bằng: Finney, Sarah, 1974-
Được phát hành: (2009)

Online learning and clock-in web platform
Bằng: Han, Weiqin
Được phát hành: (2020)

Learning Symbolic Operators for Task and Motion Planning
Bằng: Silver, Tom, et al.
Được phát hành: (2022)

Orchestration of services in smart manufacturing through automated synthesis
Bằng: Monti, F, et al.
Được phát hành: (2024)

AIDA: a tool for resiliency in smart manufacturing
Bằng: De Giacomo, G, et al.
Được phát hành: (2023)

Interactive Robot Training for Temporal Tasks
Bằng: Shah, Ankit Jayesh, et al.
Được phát hành: (2021)

Planning with linear temporal logic specifications: handling quantifiable and unquantifiable uncertainty
Bằng: Yu, P, et al.
Được phát hành: (2025)

Effect of hesperidin on the temporal regulation of redox homeostasis in clock mutant (Cryb) of Drosophila melanogaster
Bằng: Arumugam, Manjula, et al.
Được phát hành: (2018)

Explorations of the practical issues of learning prediction-control tasks using temporal difference learning methods
Bằng: Isbell, Charles L. (Charles Lee)
Được phát hành: (2005)

Explorations of the Practical Issues of Learning Prediction-Control Tasks Using Temporal Difference Learning Methods
Bằng: Isbell, Charles L.
Được phát hành: (2004)

Consequences of predictable temporal structure in multi-task situations
Bằng: Gresch, D, et al.
Được phát hành: (2022)

Learning, Reasoning, and Planning with Relational and Temporal Neural Networks
Bằng: Mao, Jiayuan
Được phát hành: (2022)

The clock is ticking
Bằng: Zawawi, Dahlia, et al.
Được phát hành: (2009)

Nature's clock.
Bằng: Yeo, Yuh Shing.
Được phát hành: (2011)

Mission Planning and Control of Multi-Aircraft Systems With Signal Temporal Logic Specifications
Bằng: Baspinar, Baris, et al.
Được phát hành: (2022)

Variation in the molecular clock of primates
Bằng: Moorjani, Priya, et al.
Được phát hành: (2017)

Learning compositional models of robot skills for task and motion planning
Bằng: Wang, Zi, et al.
Được phát hành: (2022)

Recombination and the molecular clock.
Bằng: Schierup, M, et al.
Được phát hành: (2000)

Decoding task specific and task general functional architectures of the brain
Bằng: Gupta, Sukrit, et al.
Được phát hành: (2022)