Image de couverture de livre

PlatoLTL: Learning to Generalize Across Symbols in LTL Instructions for Multi-Task RL

Fuente: arXiv

Enregistré dans:

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

Documents similaires

DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL
par: Jackermeier, Mathias, et autres
Publié: (2024)

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

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

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

SPoRt -- Safe Policy Ratio: Certified Training and Deployment of Task Policies in Model-Free RL
par: Cloete, Jacques, et autres
Publié: (2025)

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

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

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

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

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)

A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
par: Perez, Mateo, et autres
Publié: (2023)

Adaptive Manipulation using Behavior Trees
par: Cloete, Jacques, et autres
Publié: (2024)

Reinforcement Learning with LTL and $ω$-Regular Objectives via Optimality-Preserving Translation to Average Rewards
par: Le, Xuan-Bach, 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)

Gaitor: Learning a Unified Representation Across Gaits for Real-World Quadruped Locomotion
par: Mitchell, Alexander L., et autres
Publié: (2024)

LTL-Constrained Policy Optimization with Cycle Experience Replay
par: Shah, Ameesh, 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)

Learning Physical Systems: Symplectification via Gauge Fixing in Dirac Structures
par: Papatheodorou, Aristotelis, et autres
Publié: (2025)

Vision-Language-Policy Model for Dynamic Robot Task Planning
par: Wang, Jin, et autres
Publié: (2025)

LTL Verification of Memoryful Neural Agents
par: Hosseini, Mehran, et autres
Publié: (2025)

Quantifying the Sensitivity of Inverse Reinforcement Learning to Misspecification
par: Skalse, Joar, et autres
Publié: (2024)

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
par: Kontinen, Juha, et autres
Publié: (2024)

Improving Trajectory Stitching with Flow Models
par: O'Mahoney, Reece, et autres
Publié: (2025)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
par: Asor, Ohad
Publié: (2026)

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

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

Multi-Objective Instruction-Aware Representation Learning in Procedural Content Generation RL
par: Kim, Sung-Hyun, et autres
Publié: (2025)

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

Robust Parameter Learning for Uncertain MDPs
par: Schnitzer, Yannik, et autres
Publié: (2026)

Security-Aware Planning and Control of Multi-Agent Systems with LTL Tasks
par: Mitsos, Georgios, et autres
Publié: (2026)

LTL-Transfer: Skill Transfer for Temporal Task Specification
par: Liu, Jason Xinyu, et autres
Publié: (2022)

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

Bisimulation Learning
par: Abate, Alessandro, et autres
Publié: (2024)

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

Characterizing LTL Formulas by Examples
par: Cate, Balder ten, et autres
Publié: (2026)

Computational Complexity of Standpoint LTL
par: Demri, Stéphane, et autres
Publié: (2024)

Inquisitive Team Semantics of LTL
par: Bozzelli, Laura, et autres
Publié: (2025)

Cook2LTL: Translating Cooking Recipes to LTL Formulae using Large Language Models
par: Mavrogiannis, Angelos, et autres
Publié: (2023)