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

書目詳細資料
Main Authors:	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, et al.
出版: (2023)

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

Reactive Task and Motion Planning under Temporal Logic Specifications
由: Li, Shen, et al.
出版: (2022)

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

Exploiting multiple abstractions in episodic RL via reward shaping
由: Cipollone, R, et al.
出版: (2023)

Composition of stochastic services for LTLf goal specifications
由: De Giacomo, G, et al.
出版: (2024)

Task-Specific Sensor Planning for Robotic Assembly Tasks
由: Rosman, Guy, et al.
出版: (2021)

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

Circadian clock and temporal meal pattern
由: Li Xin, et al.
出版: (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, et al.
出版: (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, et al.
出版: (2024-08-01)

Bayesian inference of temporal task specifications from demonstrations
由: Shah, Ankit Jayesh, et al.
出版: (2020)

Optimal planning with temporal logic specifications
由: Karaman, Sertac
出版: (2010)

Partial order temporal plan merging for mobile robot tasks
由: Mudrova, L, et al.
出版: (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, et al.
出版: (2021-07-01)

Temporal transcriptomics suggest that twin-peaking genes reset the clock
由: William G Pembroke, et al.
出版: (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, et al.
出版: (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, et al.
出版: (2023-04-01)

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

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

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

Temporally extended goal recognition in fully observable non-deterministic domain models: temporally extended goal recognition in FOND planning
由: Pereira, RF, et al.
出版: (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, et al.
出版: (2015)

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

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

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

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

On the clock of the combinatorial clock auction
由: Janssen, M, et al.
出版: (2019)

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

Pet-1 deficiency alters the circadian clock and its temporal organization of behavior.
由: Christopher M Ciarleglio, et al.
出版: (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, et al.
出版: (2023-06-01)

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

Specification Mining over Temporal Data
由: Giacomo Bergami, et al.
出版: (2023-09-01)