Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Abate, Alessandro, De Giacomo, Giuseppe, Jackermeier, Mathias, Kretínský, Jan, Prokop, Maximilian, Weinhuber, Christoph
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL
di: Jackermeier, Mathias, et al.
Pubblicazione: (2024)

Zero-Shot Instruction Following in RL via Structured LTL Representations
di: Giuri, Mattia, et al.
Pubblicazione: (2025)

Zero-Shot Instruction Following in RL via Structured LTL Representations
di: Jackermeier, Mathias, et al.
Pubblicazione: (2026)

Probabilistic Performance Guarantees for Multi-Task Reinforcement Learning
di: Schnitzer, Yannik, et al.
Pubblicazione: (2026)

PlatoLTL: Learning to Generalize Across Symbols in LTL Instructions for Multi-Task RL
di: Cloete, Jacques, et al.
Pubblicazione: (2026)

SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
di: Kretinsky, Jan, et al.
Pubblicazione: (2025)

SemML 2.0: Synthesizing Controllers for LTL
di: Křetínský, Jan, et al.
Pubblicazione: (2026)

Multi-Property Synthesis
di: Weinhuber, Christoph, et al.
Pubblicazione: (2026)

Good-for-MDP State Reduction for Stochastic LTL Planning
di: Weinhuber, Christoph, et al.
Pubblicazione: (2025)

Explaining Control Policies through Predicate Decision Diagrams
di: Chakraborty, Debraj, et al.
Pubblicazione: (2025)

On the Limitations of Markovian Rewards to Express Multi-Objective, Risk-Sensitive, and Modal Tasks
di: Skalse, Joar, et al.
Pubblicazione: (2024)

Partial Identifiability and Misspecification in Inverse Reinforcement Learning
di: Skalse, Joar, et al.
Pubblicazione: (2024)

Partial Identifiability in Inverse Reinforcement Learning For Agents With Non-Exponential Discounting
di: Skalse, Joar, et al.
Pubblicazione: (2024)

Dual Box Embeddings for the Description Logic EL++
di: Jackermeier, Mathias, et al.
Pubblicazione: (2023)

Regret-Free Reinforcement Learning for LTL Specifications
di: Majumdar, Rupak, et al.
Pubblicazione: (2024)

Formal Foundations of Agentic Business Process Management
di: De Giacomo, Giuseppe, et al.
Pubblicazione: (2026)

Stabilizing Policy Gradients for Sample-Efficient Reinforcement Learning in LLM Reasoning
di: Melo, Luckeciano C., et al.
Pubblicazione: (2025)

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints
di: Bals, Severin, et al.
Pubblicazione: (2023)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
di: Zhang, Maifang, et al.
Pubblicazione: (2026)

Robust Shielding for Safe Reinforcement Learning
di: Court, Edwin Hamel-De le, et al.
Pubblicazione: (2026)

Reinforcement Learning with LTL and $ω$-Regular Objectives via Optimality-Preserving Translation to Average Rewards
di: Le, Xuan-Bach, et al.
Pubblicazione: (2024)

Efficient Solution and Learning of Robust Factored MDPs
di: Schnitzer, Yannik, et al.
Pubblicazione: (2025)

Grounding LTL Tasks in Sub-Symbolic RL Environments for Zero-Shot Generalization
di: Pannacci, Matteo, et al.
Pubblicazione: (2026)

Temporal-Difference Variational Continual Learning
di: Melo, Luckeciano C., et al.
Pubblicazione: (2024)

Semantic-guided Representation Learning for Multi-Label Recognition
di: Zhang, Ruhui, et al.
Pubblicazione: (2025)

Best-Effort Policies for Robust Markov Decision Processes
di: Abate, Alessandro, et al.
Pubblicazione: (2025)

Code Simulation as a Proxy for High-order Tasks in Large Language Models
di: La Malfa, Emanuele, et al.
Pubblicazione: (2025)

Task Scheduling & Forgetting in Multi-Task Reinforcement Learning
di: Speckmann, Marc, et al.
Pubblicazione: (2025)

Neural Proofs for Sound Verification and Control of Complex Systems
di: Abate, Alessandro
Pubblicazione: (2025)

On the Koopman-Based Generalization Bounds for Multi-Task Deep Learning
di: Mohammadigohari, Mahdi, et al.
Pubblicazione: (2025)

Operator-Based Generalization Bound for Deep Learning: Insights on Multi-Task Learning
di: Mohammadigohari, Mahdi, et al.
Pubblicazione: (2025)

Multi-Agent Reinforcement Learning for Inverse Design in Photonic Integrated Circuits
di: Mahlau, Yannik, et al.
Pubblicazione: (2025)

Learning Explainable and Better Performing Representations of POMDP Strategies
di: Bork, Alexander, et al.
Pubblicazione: (2024)

Group Fairness in Multi-Task Reinforcement Learning
di: Song, Kefan, et al.
Pubblicazione: (2025)

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
di: Saveri, Gaia, et al.
Pubblicazione: (2024)

Efficient Multi-Task Reinforcement Learning with Cross-Task Policy Guidance
di: He, Jinmin, et al.
Pubblicazione: (2025)

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
di: Hausmann, Daniel, et al.
Pubblicazione: (2025)

L2XGNN: Learning to Explain Graph Neural Networks
di: Serra, Giuseppe, et al.
Pubblicazione: (2022)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
di: Grobelna, Marta, et al.
Pubblicazione: (2025)

Explainable Representation of Finite-Memory Policies for POMDPs using Decision Trees
di: Azeem, Muqsit, et al.
Pubblicazione: (2024)