Image de couverture de livre

DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Jackermeier, Mathias, Abate, Alessandro
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Zero-Shot Instruction Following in RL via Structured LTL Representations
par: Giuri, Mattia, et autres
Publié: (2025)

Zero-Shot Instruction Following in RL via Structured LTL Representations
par: Jackermeier, Mathias, et autres
Publié: (2026)

PlatoLTL: Learning to Generalize Across Symbols in LTL Instructions for Multi-Task RL
par: Cloete, Jacques, et autres
Publié: (2026)

Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions
par: Abate, Alessandro, et autres
Publié: (2026)

Probabilistic Performance Guarantees for Multi-Task Reinforcement Learning
par: Schnitzer, Yannik, et autres
Publié: (2026)

Regret-Free Reinforcement Learning for LTL Specifications
par: Majumdar, Rupak, et autres
Publié: (2024)

Grounding LTL Tasks in Sub-Symbolic RL Environments for Zero-Shot Generalization
par: Pannacci, Matteo, et autres
Publié: (2026)

Shield Synthesis for LTL Modulo Theories
par: Rodriguez, Andoni, et autres
Publié: (2024)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
par: Zhang, Maifang, et autres
Publié: (2026)

Reinforcement Learning with LTL and $ω$-Regular Objectives via Optimality-Preserving Translation to Average Rewards
par: Le, Xuan-Bach, et autres
Publié: (2024)

On the Limitations of Markovian Rewards to Express Multi-Objective, Risk-Sensitive, and Modal Tasks
par: Skalse, Joar, et autres
Publié: (2024)

Dual Box Embeddings for the Description Logic EL++
par: Jackermeier, Mathias, et autres
Publié: (2023)

Efficient Solution and Learning of Robust Factored MDPs
par: Schnitzer, Yannik, et autres
Publié: (2025)

Integrating Explanations in Learning LTL Specifications from Demonstrations
par: Gupta, Ashutosh, et autres
Publié: (2024)

LTL-Constrained Policy Optimization with Cycle Experience Replay
par: Shah, Ameesh, et autres
Publié: (2024)

Stabilizing Policy Gradients for Sample-Efficient Reinforcement Learning in LLM Reasoning
par: Melo, Luckeciano C., et autres
Publié: (2025)

Partial Identifiability and Misspecification in Inverse Reinforcement Learning
par: Skalse, Joar, et autres
Publié: (2024)

Neural Proofs for Sound Verification and Control of Complex Systems
par: Abate, Alessandro
Publié: (2025)

Partial Identifiability in Inverse Reinforcement Learning For Agents With Non-Exponential Discounting
par: Skalse, Joar, et autres
Publié: (2024)

ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
par: Sundarsingh, David Smith, et autres
Publié: (2025)

Efficient Multi-Task Reinforcement Learning via Task-Specific Action Correction
par: Feng, Jinyuan, et autres
Publié: (2024)

LTL learning on GPUs
par: Valizadeh, Mojtaba, et autres
Publié: (2024)

Live LTL Progress Tracking: Towards Task-Based Exploration
par: Brindise, Noel, et autres
Publié: (2026)

Temporal-Difference Variational Continual Learning
par: Melo, Luckeciano C., et autres
Publié: (2024)

Knowledge Transfer in Deep Reinforcement Learning via an RL-Specific GAN-Based Correspondence Function
par: Ruman, Marko, et autres
Publié: (2022)

Projected Task-Specific Layers for Multi-Task Reinforcement Learning
par: Roberts, Josselin Somerville, et autres
Publié: (2023)

Boolean Satisfiability via Imitation Learning
par: Zhang, Zewei, et autres
Publié: (2025)

Counteractive RL: Rethinking Core Principles for Efficient and Scalable Deep Reinforcement Learning
par: Korkmaz, Ezgi
Publié: (2026)

On the Uniqueness of Solution for the Bellman Equation of LTL Objectives
par: Xuan, Zetong, et autres
Publié: (2024)

Imbalanced Gradients in RL Post-Training of Multi-Task LLMs
par: Wu, Runzhe, et autres
Publié: (2025)

Omni-Thinker: Scaling Multi-Task RL in LLMs with Hybrid Reward and Task Scheduling
par: Li, Derek, et autres
Publié: (2025)

Efficient Multi-Task Reinforcement Learning with Cross-Task Policy Guidance
par: He, Jinmin, et autres
Publié: (2025)

What is Formal Verification without Specifications? A Survey on mining LTL Specifications
par: Neider, Daniel, et autres
Publié: (2025)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
par: Artale, Alessandro, et autres
Publié: (2025)

MoDULA: Mixture of Domain-Specific and Universal LoRA for Multi-Task Learning
par: Ma, Yufei, et autres
Publié: (2024)

The Role of Deep Learning Regularizations on Actors in Offline RL
par: Tarasov, Denis, et autres
Publié: (2024)

On the Koopman-Based Generalization Bounds for Multi-Task Deep Learning
par: Mohammadigohari, Mahdi, et autres
Publié: (2025)

Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications
par: Wang, Jun, et autres
Publié: (2023)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
par: Xiao, Shengping, et autres
Publié: (2024)

Operator-Based Generalization Bound for Deep Learning: Insights on Multi-Task Learning
par: Mohammadigohari, Mahdi, et autres
Publié: (2025)