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

Bibliografski detalji
Glavni autori:	De Giacomo, G, Favorito, M, Patrizi, F
Format:	Conference item
Jezik:	English
Izdano:	CEUR Workshop Proceedings 2024

Slični predmeti

Planning for temporally extended goals in pure-past linear temporal logic
od: Bonassi, L, i dr.
Izdano: (2023)

FOND planning for pure-past linear temporal logic goals
od: Bonassi, L, i dr.
Izdano: (2023)

Reactive Task and Motion Planning under Temporal Logic Specifications
od: Li, Shen, i dr.
Izdano: (2022)

Learning and Planning for Temporally Extended Tasks in Unknown Environments
od: Bradley, Christopher, i dr.
Izdano: (2022)

Exploiting multiple abstractions in episodic RL via reward shaping
od: Cipollone, R, i dr.
Izdano: (2023)

Composition of stochastic services for LTLf goal specifications
od: De Giacomo, G, i dr.
Izdano: (2024)

Task-Specific Sensor Planning for Robotic Assembly Tasks
od: Rosman, Guy, i dr.
Izdano: (2021)

The CoREST complex regulates multiple histone modifications temporal-specifically in clock neurons
od: Pengfei Lv, i dr.
Izdano: (2024-07-01)

Circadian clock and temporal meal pattern
od: Li Xin, i dr.
Izdano: (2023-02-01)

Temporal Regulation of Cytokines by the Circadian Clock
od: Atsuhito Nakao
Izdano: (2014-01-01)

A tool for declarative Trace Alignment via automated planning
od: De Giacomo, G, i dr.
Izdano: (2023)

Quantifying the Transition from Unconscious to Conscious Detection of Temporal Patterns in Vigilance Tasks: A Unique Adaptation of Mackworth’s Clock Test
od: Guaraci Lima de Morais, i dr.
Izdano: (2024-08-01)

Bayesian inference of temporal task specifications from demonstrations
od: Shah, Ankit Jayesh, i dr.
Izdano: (2020)

Optimal planning with temporal logic specifications
od: Karaman, Sertac
Izdano: (2010)

Partial order temporal plan merging for mobile robot tasks
od: Mudrova, L, i dr.
Izdano: (2016)

Learning to Plan and Planning to Learn in Long-Horizon Robotics Tasks
od: Kumar, Nishanth Jay
Izdano: (2024)

Ticking-clock performance enhanced by nonclassical temporal correlations
od: Costantino Budroni, i dr.
Izdano: (2021-07-01)

Temporal transcriptomics suggest that twin-peaking genes reset the clock
od: William G Pembroke, i dr.
Izdano: (2015-11-01)

Learning task-specific similarity
od: Shakhnarovich, Gregory
Izdano: (2007)

Spatio-temporal coherence of circadian clocks and temporal control of differentiation in Anabaena filaments
od: Rinat Arbel-Goren, i dr.
Izdano: (2024-01-01)

Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications
od: Kyunghoon Cho
Izdano: (2023-01-01)

Crossing the Threshold of Temporality: "Story of Your Life" and Arrival
od: Chiara Patrizi
Izdano: (2020-05-01)

On learning task-directed motion plans
od: Finney, Sarah, 1974-
Izdano: (2009)

Explainable automated evaluation of the clock drawing task for memory impairment screening
od: Dakota Handzlik, i dr.
Izdano: (2023-04-01)

Dissection of central clock function in Drosophila through cell-specific CRISPR-mediated clock gene disruption
od: Rebecca Delventhal, i dr.
Izdano: (2019-10-01)

Effects of stimulus and task structure on temporal perceptual learning
od: Rannie Xu, i dr.
Izdano: (2021-01-01)

Task-specific temporal prediction mechanisms revealed by motor and electroencephalographic indicators
od: Alana Arrouet, i dr.
Izdano: (2025-02-01)

Temporally extended goal recognition in fully observable non-deterministic domain models: temporally extended goal recognition in FOND planning
od: Pereira, RF, i dr.
Izdano: (2023)

A neural clock underlying the temporal dynamics of an auditory memory
od: Bahle, Andrew H.
Izdano: (2024)

Temporal transcriptomics suggest that twin-peaking genes reset the clock.
od: Pembroke, W, i dr.
Izdano: (2015)

Positive temporal dependence of the biological clock implies hyperbolic discounting
od: Debajyoti eRay, i dr.
Izdano: (2011-01-01)

Deep Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications
od: Kyoungho Lee, i dr.
Izdano: (2024-01-01)

The circadian clock controls temporal and spatial patterns of floral development in sunflower
od: Carine M Marshall, i dr.
Izdano: (2023-01-01)

Temporal Dynamics of Task Switching and Abstract-Concept Learning in Pigeons
od: Thomas Alexander Daniel, i dr.
Izdano: (2015-09-01)

On the clock of the combinatorial clock auction
od: Janssen, M, i dr.
Izdano: (2019)

Distinguishable DNA methylation defines a cardiac-specific epigenetic clock
od: A. Mongelli, i dr.
Izdano: (2023-03-01)

Pet-1 deficiency alters the circadian clock and its temporal organization of behavior.
od: Christopher M Ciarleglio, i dr.
Izdano: (2014-01-01)

Emotionally clocked out: cell-type specific regulation of mood and anxiety by the circadian clock system in the brain
od: T. Chase Francis, i dr.
Izdano: (2023-06-01)

Impact of Uncertain Flight Time on Heterogeneous UAVs’ Task Planning with Temporal Constraints
od: Jianfeng Wang, i dr.
Izdano: (2024-03-01)

Specification Mining over Temporal Data
od: Giacomo Bergami, i dr.
Izdano: (2023-09-01)