Imagen de Portada

On Tackling Complex Tasks with Reward Machines and Signal Temporal Logics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ruiz, Ana María Gómez, Dang, Thao, Donzé, Alexandre
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
por: Dang, Thao, et al.
Publicado: (2024)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
por: Meng, Yue, et al.
Publicado: (2025)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
por: Liu, Ruijia, et al.
Publicado: (2025)

Integrating Reinforcement Learning, Action Model Learning, and Numeric Planning for Tackling Complex Tasks
por: Benyamin, Yarin, et al.
Publicado: (2025)

ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
por: Ye, Bowen, et al.
Publicado: (2026)

Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic
por: Mao, Zhenjiang, et al.
Publicado: (2025)

PricingLogic: Evaluating LLMs Reasoning on Complex Tourism Pricing Tasks
por: Liu, Yunuo, et al.
Publicado: (2025)

The Devil Is in the Details: Tackling Unimodal Spurious Correlations for Generalizable Multimodal Reward Models
por: Li, Zichao, et al.
Publicado: (2025)

Zero-Shot Signal Temporal Logic Planning with Disjunctive Branch Selection in Dynamic Semantic Maps
por: Ye, Bowen, et al.
Publicado: (2026)

Reinforcement Learning for Long-Horizon Unordered Tasks: From Boolean to Coupled Reward Machines
por: Levina, Kristina, et al.
Publicado: (2025)

Learning Reward Machines in Cooperative Multi-Agent Tasks
por: Ardon, Leo, et al.
Publicado: (2023)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
por: Meng, Yue, et al.
Publicado: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
por: Lin, Yuanfei, et al.
Publicado: (2022)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
por: Aria, Hadi Partovi, et al.
Publicado: (2026)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
por: Schön, Oliver, et al.
Publicado: (2026)

Temporal Representations for Exploration: Learning Complex Exploratory Behavior without Extrinsic Rewards
por: Mohamed, Faisal, et al.
Publicado: (2026)

RewardMap: Tackling Sparse Rewards in Fine-grained Visual Reasoning via Multi-Stage Reinforcement Learning
por: Feng, Sicheng, et al.
Publicado: (2025)

Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration
por: Kantaros, Yiannis, et al.
Publicado: (2024)

Pseudocode-Injection Magic: Enabling LLMs to Tackle Graph Computational Tasks
por: Gong, Chang, et al.
Publicado: (2025)

Can Structured Templates Facilitate LLMs in Tackling Harder Tasks? : An Exploration of Scaling Laws by Difficulty
por: Yang, Zhichao, et al.
Publicado: (2025)

CLIP-Motion: Learning Reward Functions for Robotic Actions Using Consecutive Observations
por: Dang, Xuzhe, et al.
Publicado: (2023)

Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
por: Luo, Xusheng, et al.
Publicado: (2023)

Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications
por: Wang, Jun, et al.
Publicado: (2023)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
por: Olivieri, Pierriccardo, et al.
Publicado: (2026)

Tackling the Root of Misinformation by Teaching Laypeople about Logical Fallacies via Socratic Questioning and Critical Argumentation
por: Shi, Minjing, et al.
Publicado: (2026)

OpenLS-DGF: An Adaptive Open-Source Dataset Generation Framework for Machine Learning Tasks in Logic Synthesis
por: Ni, Liwei, et al.
Publicado: (2024)

Towards Consistent and Explainable Motion Prediction using Heterogeneous Graph Attention
por: Demmler, Tobias, et al.
Publicado: (2024)

Neural Reward Machines
por: Umili, Elena, et al.
Publicado: (2024)

Numeric Reward Machines
por: Levina, Kristina, et al.
Publicado: (2024)

Tackling Heavy-Tailed Rewards in Reinforcement Learning with Function Approximation: Minimax Optimal and Instance-Dependent Regret Bounds
por: Huang, Jiayi, et al.
Publicado: (2023)

One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning
por: Guo, Zijian, et al.
Publicado: (2025)

PaTaRM: Bridging Pairwise and Pointwise Signals via Preference-Aware Task-Adaptive Reward Modeling
por: Jian, Ai, et al.
Publicado: (2025)

GUI-PRA: Process Reward Agent for GUI Tasks
por: Xiong, Tao, et al.
Publicado: (2025)

Instantiation-based Formalization of Logical Reasoning Tasks using Language Models and Logical Solvers
por: Raza, Mohammad, et al.
Publicado: (2025)

LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration
por: Chen, Zirong, et al.
Publicado: (2025)

Pointwise-in-Time Explanation for Linear Temporal Logic Rules
por: Brindise, Noel, et al.
Publicado: (2023)

Metric Temporal Equilibrium Logic over Timed Traces
por: Becker, Arvid, et al.
Publicado: (2023)

A Modal Logic for Temporal and Jurisdictional Classifier Models
por: Di Florio, Cecilia, et al.
Publicado: (2025)

LOGIGEN: Logic-Driven Generation of Verifiable Agentic Tasks
por: Zeng, Yucheng, et al.
Publicado: (2026)

Spurious Rewards: Rethinking Training Signals in RLVR
por: Shao, Rulin, et al.
Publicado: (2025)