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

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	De Giacomo, G, Favorito, M, Patrizi, F
स्वरूप:	Conference item
भाषा:	English
प्रकाशित:	CEUR Workshop Proceedings 2024

समान संसाधन

Planning for temporally extended goals in pure-past linear temporal logic
द्वारा: Bonassi, L, और अन्य
प्रकाशित: (2023)

FOND planning for pure-past linear temporal logic goals
द्वारा: Bonassi, L, और अन्य
प्रकाशित: (2023)

Reactive Task and Motion Planning under Temporal Logic Specifications
द्वारा: Li, Shen, और अन्य
प्रकाशित: (2022)

Learning and Planning for Temporally Extended Tasks in Unknown Environments
द्वारा: Bradley, Christopher, और अन्य
प्रकाशित: (2022)

Exploiting multiple abstractions in episodic RL via reward shaping
द्वारा: Cipollone, R, और अन्य
प्रकाशित: (2023)

Composition of stochastic services for LTLf goal specifications
द्वारा: De Giacomo, G, और अन्य
प्रकाशित: (2024)

Task-Specific Sensor Planning for Robotic Assembly Tasks
द्वारा: Rosman, Guy, और अन्य
प्रकाशित: (2021)

The CoREST complex regulates multiple histone modifications temporal-specifically in clock neurons
द्वारा: Pengfei Lv, और अन्य
प्रकाशित: (2024-07-01)

Circadian clock and temporal meal pattern
द्वारा: Li Xin, और अन्य
प्रकाशित: (2023-02-01)

Temporal Regulation of Cytokines by the Circadian Clock
द्वारा: Atsuhito Nakao
प्रकाशित: (2014-01-01)

A tool for declarative Trace Alignment via automated planning
द्वारा: De Giacomo, G, और अन्य
प्रकाशित: (2023)

Quantifying the Transition from Unconscious to Conscious Detection of Temporal Patterns in Vigilance Tasks: A Unique Adaptation of Mackworth’s Clock Test
द्वारा: Guaraci Lima de Morais, और अन्य
प्रकाशित: (2024-08-01)

Bayesian inference of temporal task specifications from demonstrations
द्वारा: Shah, Ankit Jayesh, और अन्य
प्रकाशित: (2020)

Optimal planning with temporal logic specifications
द्वारा: Karaman, Sertac
प्रकाशित: (2010)

Partial order temporal plan merging for mobile robot tasks
द्वारा: Mudrova, L, और अन्य
प्रकाशित: (2016)

Learning to Plan and Planning to Learn in Long-Horizon Robotics Tasks
द्वारा: Kumar, Nishanth Jay
प्रकाशित: (2024)

Ticking-clock performance enhanced by nonclassical temporal correlations
द्वारा: Costantino Budroni, और अन्य
प्रकाशित: (2021-07-01)

Temporal transcriptomics suggest that twin-peaking genes reset the clock
द्वारा: William G Pembroke, और अन्य
प्रकाशित: (2015-11-01)

Learning task-specific similarity
द्वारा: Shakhnarovich, Gregory
प्रकाशित: (2007)

Spatio-temporal coherence of circadian clocks and temporal control of differentiation in Anabaena filaments
द्वारा: Rinat Arbel-Goren, और अन्य
प्रकाशित: (2024-01-01)

Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications
द्वारा: Kyunghoon Cho
प्रकाशित: (2023-01-01)

Crossing the Threshold of Temporality: "Story of Your Life" and Arrival
द्वारा: Chiara Patrizi
प्रकाशित: (2020-05-01)

On learning task-directed motion plans
द्वारा: Finney, Sarah, 1974-
प्रकाशित: (2009)

Explainable automated evaluation of the clock drawing task for memory impairment screening
द्वारा: Dakota Handzlik, और अन्य
प्रकाशित: (2023-04-01)

Dissection of central clock function in Drosophila through cell-specific CRISPR-mediated clock gene disruption
द्वारा: Rebecca Delventhal, और अन्य
प्रकाशित: (2019-10-01)

Effects of stimulus and task structure on temporal perceptual learning
द्वारा: Rannie Xu, और अन्य
प्रकाशित: (2021-01-01)

Task-specific temporal prediction mechanisms revealed by motor and electroencephalographic indicators
द्वारा: Alana Arrouet, और अन्य
प्रकाशित: (2025-02-01)

Temporally extended goal recognition in fully observable non-deterministic domain models: temporally extended goal recognition in FOND planning
द्वारा: Pereira, RF, और अन्य
प्रकाशित: (2023)

A neural clock underlying the temporal dynamics of an auditory memory
द्वारा: Bahle, Andrew H.
प्रकाशित: (2024)

Temporal transcriptomics suggest that twin-peaking genes reset the clock.
द्वारा: Pembroke, W, और अन्य
प्रकाशित: (2015)

Positive temporal dependence of the biological clock implies hyperbolic discounting
द्वारा: Debajyoti eRay, और अन्य
प्रकाशित: (2011-01-01)

Deep Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications
द्वारा: Kyoungho Lee, और अन्य
प्रकाशित: (2024-01-01)

The circadian clock controls temporal and spatial patterns of floral development in sunflower
द्वारा: Carine M Marshall, और अन्य
प्रकाशित: (2023-01-01)

Temporal Dynamics of Task Switching and Abstract-Concept Learning in Pigeons
द्वारा: Thomas Alexander Daniel, और अन्य
प्रकाशित: (2015-09-01)

On the clock of the combinatorial clock auction
द्वारा: Janssen, M, और अन्य
प्रकाशित: (2019)

Distinguishable DNA methylation defines a cardiac-specific epigenetic clock
द्वारा: A. Mongelli, और अन्य
प्रकाशित: (2023-03-01)

Pet-1 deficiency alters the circadian clock and its temporal organization of behavior.
द्वारा: Christopher M Ciarleglio, और अन्य
प्रकाशित: (2014-01-01)

Emotionally clocked out: cell-type specific regulation of mood and anxiety by the circadian clock system in the brain
द्वारा: T. Chase Francis, और अन्य
प्रकाशित: (2023-06-01)

Impact of Uncertain Flight Time on Heterogeneous UAVs’ Task Planning with Temporal Constraints
द्वारा: Jianfeng Wang, और अन्य
प्रकाशित: (2024-03-01)

Specification Mining over Temporal Data
द्वारा: Giacomo Bergami, और अन्य
प्रकाशित: (2023-09-01)