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

Descrizione completa

Dettagli Bibliografici
Autori principali:	De Giacomo, G, Favorito, M, Patrizi, F
Natura:	Conference item
Lingua:	English
Pubblicazione:	CEUR Workshop Proceedings 2024

Documenti analoghi

Planning for temporally extended goals in pure-past linear temporal logic
di: Bonassi, L, et al.
Pubblicazione: (2023)

FOND planning for pure-past linear temporal logic goals
di: Bonassi, L, et al.
Pubblicazione: (2023)

Reactive Task and Motion Planning under Temporal Logic Specifications
di: Li, Shen, et al.
Pubblicazione: (2022)

Learning and Planning for Temporally Extended Tasks in Unknown Environments
di: Bradley, Christopher, et al.
Pubblicazione: (2022)

Exploiting multiple abstractions in episodic RL via reward shaping
di: Cipollone, R, et al.
Pubblicazione: (2023)

Composition of stochastic services for LTLf goal specifications
di: De Giacomo, G, et al.
Pubblicazione: (2024)

Task-Specific Sensor Planning for Robotic Assembly Tasks
di: Rosman, Guy, et al.
Pubblicazione: (2021)

The CoREST complex regulates multiple histone modifications temporal-specifically in clock neurons
di: Pengfei Lv, et al.
Pubblicazione: (2024-07-01)

Circadian clock and temporal meal pattern
di: Li Xin, et al.
Pubblicazione: (2023-02-01)

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

A tool for declarative Trace Alignment via automated planning
di: De Giacomo, G, et al.
Pubblicazione: (2023)

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

Bayesian inference of temporal task specifications from demonstrations
di: Shah, Ankit Jayesh, et al.
Pubblicazione: (2020)

Optimal planning with temporal logic specifications
di: Karaman, Sertac
Pubblicazione: (2010)

Partial order temporal plan merging for mobile robot tasks
di: Mudrova, L, et al.
Pubblicazione: (2016)

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

Ticking-clock performance enhanced by nonclassical temporal correlations
di: Costantino Budroni, et al.
Pubblicazione: (2021-07-01)

Temporal transcriptomics suggest that twin-peaking genes reset the clock
di: William G Pembroke, et al.
Pubblicazione: (2015-11-01)

Learning task-specific similarity
di: Shakhnarovich, Gregory
Pubblicazione: (2007)

Spatio-temporal coherence of circadian clocks and temporal control of differentiation in Anabaena filaments
di: Rinat Arbel-Goren, et al.
Pubblicazione: (2024-01-01)

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

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

On learning task-directed motion plans
di: Finney, Sarah, 1974-
Pubblicazione: (2009)

Explainable automated evaluation of the clock drawing task for memory impairment screening
di: Dakota Handzlik, et al.
Pubblicazione: (2023-04-01)

Dissection of central clock function in Drosophila through cell-specific CRISPR-mediated clock gene disruption
di: Rebecca Delventhal, et al.
Pubblicazione: (2019-10-01)

Effects of stimulus and task structure on temporal perceptual learning
di: Rannie Xu, et al.
Pubblicazione: (2021-01-01)

Task-specific temporal prediction mechanisms revealed by motor and electroencephalographic indicators
di: Alana Arrouet, et al.
Pubblicazione: (2025-02-01)

Temporally extended goal recognition in fully observable non-deterministic domain models: temporally extended goal recognition in FOND planning
di: Pereira, RF, et al.
Pubblicazione: (2023)

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

Temporal transcriptomics suggest that twin-peaking genes reset the clock.
di: Pembroke, W, et al.
Pubblicazione: (2015)

Positive temporal dependence of the biological clock implies hyperbolic discounting
di: Debajyoti eRay, et al.
Pubblicazione: (2011-01-01)

Deep Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications
di: Kyoungho Lee, et al.
Pubblicazione: (2024-01-01)

The circadian clock controls temporal and spatial patterns of floral development in sunflower
di: Carine M Marshall, et al.
Pubblicazione: (2023-01-01)

Temporal Dynamics of Task Switching and Abstract-Concept Learning in Pigeons
di: Thomas Alexander Daniel, et al.
Pubblicazione: (2015-09-01)

On the clock of the combinatorial clock auction
di: Janssen, M, et al.
Pubblicazione: (2019)

Distinguishable DNA methylation defines a cardiac-specific epigenetic clock
di: A. Mongelli, et al.
Pubblicazione: (2023-03-01)

Pet-1 deficiency alters the circadian clock and its temporal organization of behavior.
di: Christopher M Ciarleglio, et al.
Pubblicazione: (2014-01-01)

Emotionally clocked out: cell-type specific regulation of mood and anxiety by the circadian clock system in the brain
di: T. Chase Francis, et al.
Pubblicazione: (2023-06-01)

Impact of Uncertain Flight Time on Heterogeneous UAVs’ Task Planning with Temporal Constraints
di: Jianfeng Wang, et al.
Pubblicazione: (2024-03-01)

Specification Mining over Temporal Data
di: Giacomo Bergami, et al.
Pubblicazione: (2023-09-01)