Cover Image

On the Uniqueness of Solution for the Bellman Equation of LTL Objectives

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xuan, Zetong, Bozkurt, Alper Kamil, Pajic, Miroslav, Wang, Yu
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
by: Bozkurt, Alper Kamil, et al.
Published: (2019)

Learning Optimal Strategies for Temporal Tasks in Stochastic Games
by: Bozkurt, Alper Kamil, et al.
Published: (2021)

Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
by: Bozkurt, Alper Kamil, et al.
Published: (2020)

Secure Planning Against Stealthy Attacks via Model-Free Reinforcement Learning
by: Bozkurt, Alper Kamil, et al.
Published: (2020)

Model-Free Learning of Safe yet Effective Controllers
by: Bozkurt, Alper Kamil, et al.
Published: (2021)

Control Synthesis in Partially Observable Environments for Complex Perception-Related Objectives
by: Xuan, Zetong, et al.
Published: (2025)

Adaptive Policy Selection and Fine-Tuning under Interaction Budgets for Offline-to-Online Reinforcement Learning
by: Bozkurt, Alper Kamil, et al.
Published: (2026)

Convergence Guarantee of Dynamic Programming for LTL Surrogate Reward
by: Xuan, Zetong, et al.
Published: (2024)

COMRES-VLM: Coordinated Multi-Robot Exploration and Search using Vision Language Models
by: Wang, Ruiyang, et al.
Published: (2025)

LLaViDA: A Large Language Vision Driving Assistant for Explicit Reasoning and Enhanced Trajectory Planning
by: Liu, Yudong, et al.
Published: (2025)

Gradual Transition from Bellman Optimality Operator to Bellman Operator in Online Reinforcement Learning
by: Omura, Motoki, et al.
Published: (2025)

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

Shield Synthesis for LTL Modulo Theories
by: Rodriguez, Andoni, et al.
Published: (2024)

Assured Autonomy with Neuro-Symbolic Perception
by: Hallyburton, R. Spencer, et al.
Published: (2025)

Accelerated Learning with Linear Temporal Logic using Differentiable Simulation
by: Bozkurt, Alper Kamil, et al.
Published: (2025)

ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
by: Sundarsingh, David Smith, et al.
Published: (2025)

Goal-Conditioned Decision Transformer for Multi-Goal Offline Reinforcement Learning
by: Gajewski, Paweł, et al.
Published: (2024)

Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration
by: Kantaros, Yiannis, et al.
Published: (2024)

Pseudo-Labeling and Contextual Curriculum Learning for Online Grasp Learning in Robotic Bin Picking
by: Le, Huy, et al.
Published: (2024)

Balancing Progress and Safety: A Novel Risk-Aware Objective for RL in Autonomous Driving
by: Abouelazm, Ahmed, et al.
Published: (2025)

Learning Low-Level Causal Relations using a Simulated Robotic Arm
by: Cibula, Miroslav, et al.
Published: (2024)

Towards Bio-Inspired Robotic Trajectory Planning via Self-Supervised RNN
by: Cibula, Miroslav, et al.
Published: (2025)

Creative Robot Tool Use by Counterfactual Reasoning
by: Akbulut, M. Tuluhan, et al.
Published: (2026)

Stage-Wise Reward Shaping for Acrobatic Robots: A Constrained Multi-Objective Reinforcement Learning Approach
by: Kim, Dohyeong, et al.
Published: (2024)

MO-SeGMan: Rearrangement Planning Framework for Multi Objective Sequential and Guided Manipulation in Constrained Environments
by: Tuncer, Cankut Bora, et al.
Published: (2025)

Neuro-Logic Lifelong Learning
by: He, Bowen, et al.
Published: (2025)

Bayesian Methods for Trust in Collaborative Multi-Agent Autonomy
by: Hallyburton, R. Spencer, et al.
Published: (2024)

CARoL: Context-aware Adaptation for Robot Learning
by: Hu, Zechen, et al.
Published: (2025)

Uncertainty-driven Exploration Strategies for Online Grasp Learning
by: Shi, Yitian, et al.
Published: (2023)

ROSA: A Knowledge-based Solution for Robot Self-Adaptation
by: Silva, Gustavo Rezende, et al.
Published: (2025)

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

Multi-Objective Planning with Contextual Lexicographic Reward Preferences
by: Rustagi, Pulkit, et al.
Published: (2025)

A Beacon Based Solution for Autonomous UUVs GNSS-Denied Stealthy Navigation
by: Albore, Alexandre, et al.
Published: (2026)

Locally Optimal Solutions to Constraint Displacement Problems via Path-Obstacle Overlaps
by: Thomas, Antony, et al.
Published: (2025)

Neural ATTF: A Scalable Solution to Lifelong Multi-Agent Path Planning
by: Shah, Kushal, et al.
Published: (2025)

Learning Pareto Set for Multi-Objective Continuous Robot Control
by: Shu, Tianye, et al.
Published: (2024)

Learning What Matters: Adaptive Information-Theoretic Objectives for Robot Exploration
by: Yu, Youwei, et al.
Published: (2026)

LLM-based Realistic Safety-Critical Driving Video Generation
by: Fu, Yongjie, et al.
Published: (2025)

Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functions
by: Kim, Matthew, et al.
Published: (2025)

Semantic Area Graph Reasoning for Multi-Robot Language-Guided Search
by: Wang, Ruiyang, et al.
Published: (2026)