Image de couverture de livre

Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Abate, Alessandro, De Giacomo, Giuseppe, Jackermeier, Mathias, Kretínský, Jan, Prokop, Maximilian, Weinhuber, Christoph
Format:	Preprint
Publié:	2026
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

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: Giuri, Mattia, et autres
Publié: (2025)

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

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

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

SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
par: Kretinsky, Jan, et autres
Publié: (2025)

SemML 2.0: Synthesizing Controllers for LTL
par: Křetínský, Jan, et autres
Publié: (2026)

Multi-Property Synthesis
par: Weinhuber, Christoph, et autres
Publié: (2026)

Good-for-MDP State Reduction for Stochastic LTL Planning
par: Weinhuber, Christoph, et autres
Publié: (2025)

Explaining Control Policies through Predicate Decision Diagrams
par: Chakraborty, Debraj, et autres
Publié: (2025)

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

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)

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

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

Formal Foundations of Agentic Business Process Management
par: De Giacomo, Giuseppe, et autres
Publié: (2026)

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

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints
par: Bals, Severin, et autres
Publié: (2023)

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

Robust Shielding for Safe Reinforcement Learning
par: Court, Edwin Hamel-De le, 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)

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

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

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

Best-Effort Policies for Robust Markov Decision Processes
par: Abate, Alessandro, et autres
Publié: (2025)

Semantic-guided Representation Learning for Multi-Label Recognition
par: Zhang, Ruhui, et autres
Publié: (2025)

Code Simulation as a Proxy for High-order Tasks in Large Language Models
par: La Malfa, Emanuele, et autres
Publié: (2025)

Task Scheduling & Forgetting in Multi-Task Reinforcement Learning
par: Speckmann, Marc, et autres
Publié: (2025)

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

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

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

Multi-Agent Reinforcement Learning for Inverse Design in Photonic Integrated Circuits
par: Mahlau, Yannik, et autres
Publié: (2025)

Learning Explainable and Better Performing Representations of POMDP Strategies
par: Bork, Alexander, et autres
Publié: (2024)

Group Fairness in Multi-Task Reinforcement Learning
par: Song, Kefan, et autres
Publié: (2025)

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
par: Saveri, Gaia, et autres
Publié: (2024)

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
par: Hausmann, Daniel, et autres
Publié: (2025)

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

L2XGNN: Learning to Explain Graph Neural Networks
par: Serra, Giuseppe, et autres
Publié: (2022)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
par: Grobelna, Marta, et autres
Publié: (2025)

Explainable Representation of Finite-Memory Policies for POMDPs using Decision Trees
par: Azeem, Muqsit, et autres
Publié: (2024)