Image de couverture de livre

Live LTL Progress Tracking: Towards Task-Based Exploration

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Brindise, Noel, Langbort, Cedric, Ornik, Melkior
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

"What are my options?": Explaining RL Agents with Diverse Near-Optimal Alternatives (Extended)
par: Brindise, Noel, et autres
Publié: (2025)

Pointwise-in-Time Explanation for Linear Temporal Logic Rules
par: Brindise, Noel, et autres
Publié: (2023)

Capacity-Aware Planning and Scheduling in Budget-Constrained Multi-Agent MDPs: A Meta-RL Approach
par: Vora, Manav, et autres
Publié: (2024)

Any-Time Regret-Guaranteed Algorithm for Control of Linear Quadratic Systems
par: Chekan, Jafar Abbaszadeh, et autres
Publié: (2024)

Enhancing Robot Navigation Policies with Task-Specific Uncertainty Managements
par: Puthumanaillam, Gokul, et autres
Publié: (2025)

GUIDEd Agents: Enhancing Navigation Policies through Task-Specific Uncertainty Abstraction in Localization-Limited Environments
par: Puthumanaillam, Gokul, et autres
Publié: (2024)

A Moral Imperative: The Need for Continual Superalignment of Large Language Models
par: Puthumanaillam, Gokul, et autres
Publié: (2024)

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

InfraLib: Enabling Reinforcement Learning and Decision-Making for Large-Scale Infrastructure Management
par: Thangeda, Pranay, et autres
Publié: (2024)

Solving Truly Massive Budgeted Monotonic POMDPs with Oracle-Guided Meta-Reinforcement Learning
par: Vora, Manav, et autres
Publié: (2024)

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

TAB-Fields: A Maximum Entropy Framework for Mission-Aware Adversarial Planning
par: Puthumanaillam, Gokul, et autres
Publié: (2024)

Space Exploration Architecture and Design Framework for Commercialization
par: Chen, Hao, et autres
Publié: (2021)

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

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

Belief-Conditioned One-Step Diffusion: Real-Time Trajectory Planning with Just-Enough Sensing
par: Puthumanaillam, Gokul, et autres
Publié: (2025)

ComTraQ-MPC: Meta-Trained DQN-MPC Integration for Trajectory Tracking with Limited Active Localization Updates
par: Puthumanaillam, Gokul, et autres
Publié: (2024)

The Continuous p-Dispersion Problem in Three Dimensions
par: Manoj, Sanjay, et autres
Publié: (2026)

Navigating in Uncertain Environments with Heterogeneous Visibility
par: Lee, Jongann, et autres
Publié: (2026)

Dynamic Regret in Time-varying MDPs with Intermittent Information
par: Musavi, Negin, et autres
Publié: (2026)

Amortizing Trajectory Diffusion with Keyed Drift Fields
par: Puthumanaillam, Gokul, et autres
Publié: (2026)

Hierarchical Motion Planning and Control under Unknown Nonlinear Dynamics via Predicted Reachability
par: Zhang, Zhiquan, et autres
Publié: (2026)

Input Matrix Optimization for Desired Reachable Set Warping of Linear Systems
par: Das, Hrishav, et autres
Publié: (2026)

Resource-Constrained Shortest Path with Polytopic Reset Sets
par: Surur, Khaled, et autres
Publié: (2026)

Finite-time Reachability for Constrained, Partially Uncontrolled Nonlinear Systems
par: Padmanabhan, Ram, et autres
Publié: (2026)

Approximate Energetic Resilience of Nonlinear Systems under Partial Loss of Control Authority
par: Padmanabhan, Ram, et autres
Publié: (2025)

Guaranteed Reachability on Riemannian Manifolds for Unknown Nonlinear Systems
par: Shafa, Taha, et autres
Publié: (2024)

Ignore Drift, Embrace Simplicity: Constrained Nonlinear Control through Driftless Approximation
par: Padmanabhan, Ram, et autres
Publié: (2025)

Energetic Resilience of Linear Driftless Systems
par: Padmanabhan, Ram, et autres
Publié: (2024)

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

Virtual Force-Based Routing of Modular Agents on a Graph
par: Casselman, Adam, et autres
Publié: (2025)

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

Sum-of-Squares Data-driven Robustly Stabilizing and Contracting Controller Synthesis for Polynomial Nonlinear Systems
par: El-Kebir, Hamza, et autres
Publié: (2025)

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)

Towards Mitigation of Hallucination for LLM-empowered Agents: Progressive Generalization Bound Exploration and Watchdog Monitor
par: Liu, Siyuan, et autres
Publié: (2025)

Revisiting Regret Benchmarks in Online Non-Stochastic Control
par: Hebbar, Vijeth, et autres
Publié: (2025)

Misinformation Regulation in the Presence of Competition between Social Media Platforms (Extended Version)
par: Sasaki, So, et autres
Publié: (2024)

Responding to Promises: No-regret learning against followers with memory
par: Hebbar, Vijeth, et autres
Publié: (2024)

On Network Congestion Reduction Using Public Signals Under Boundedly Rational User Equilibria (Full Version)
par: Massicot, Olivier, et autres
Publié: (2024)