Cover Image

Value Functions for Temporal Logic: Optimal Policies and Safety Filters

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	So, Oswin, Sharpless, William, Herbert, Sylvia, Fan, Chuchu
Format:	Preprint
Published:	2026
Subjects:	Robotics Artificial Intelligence Machine Learning Logic in Computer Science Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bellman Value Decomposition for Task Logic in Safe Optimal Control
by: Sharpless, William, et al.
Published: (2026)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
by: Meng, Yue, et al.
Published: (2025)

Solving Multi-Agent Safe Optimal Control with Distributed Epigraph Form MARL
by: Zhang, Songyuan, et al.
Published: (2025)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
by: Meng, Yue, et al.
Published: (2025)

Discrete GCBF Proximal Policy Optimization for Multi-agent Safe Optimal Control
by: Zhang, Songyuan, et al.
Published: (2025)

Solving Minimum-Cost Reach Avoid using Reinforcement Learning
by: So, Oswin, et al.
Published: (2024)

Safety on the Fly: Constructing Robust Safety Filters via Policy Control Barrier Functions at Runtime
by: Knoedler, Luzia, et al.
Published: (2024)

Solving Parameter-Robust Avoid Problems with Unknown Feasibility using Reinforcement Learning
by: So, Oswin, et al.
Published: (2026)

GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control
by: Zhang, Songyuan, et al.
Published: (2024)

Efficient Dynamic Shielding for Parametric Safety Specifications
by: Corsi, Davide, et al.
Published: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
by: Lin, Yuanfei, et al.
Published: (2022)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
by: Zhang, Zhiwei, et al.
Published: (2025)

BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization
by: Lourenço, Bruno F., et al.
Published: (2026)

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
by: Sharifi, Iman, et al.
Published: (2023)

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

Deep Learning as the Disciplined Construction of Tame Objects
by: Bareilles, Gilles, et al.
Published: (2025)

Safe Beyond the Horizon: Efficient Sampling-based MPC with Neural Control Barrier Functions
by: Yin, Ji, et al.
Published: (2025)

SMLP: Symbolic Machine Learning Prover (User Manual)
by: Brauße, Franz, et al.
Published: (2024)

SMLP: Symbolic Machine Learning Prover
by: Brauße, Franz, et al.
Published: (2024)

Learning Efficient and Fair Policies for Uncertainty-Aware Collaborative Human-Robot Order Picking
by: Smit, Igor G., et al.
Published: (2024)

Adaptive Smooth Tchebycheff Attention for Multi-Objective Policy Optimization
by: Murillo-Gonzalez, Alejandro, et al.
Published: (2026)

Multi-CALF: A Policy Combination Approach with Statistical Guarantees
by: Malaniya, Georgiy, et al.
Published: (2025)

Boolean Variation and Boolean Logic BackPropagation
by: Nguyen, Van Minh
Published: (2023)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
by: Ho, Qi Heng, et al.
Published: (2024)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
by: Teuber, Samuel, et al.
Published: (2024)

Learning to Insert for Constructive Neural Vehicle Routing Solver
by: Luo, Fu, et al.
Published: (2025)

Situationally-Aware Dynamics Learning
by: Murillo-Gonzalez, Alejandro, et al.
Published: (2025)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
by: Sälzer, Marco, et al.
Published: (2025)

Temporal Inductive Logic Reasoning over Hypergraphs
by: Yang, Yuan, et al.
Published: (2022)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
by: Meli, Daniele, et al.
Published: (2024)

DASA: Delay-Adaptive Multi-Agent Stochastic Approximation
by: Fabbro, Nicolò Dal, et al.
Published: (2024)

Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
by: Nath, Devesh, et al.
Published: (2026)

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
by: Shen, Keyi, et al.
Published: (2026)

Neural-Rendezvous: Provably Robust Guidance and Control to Encounter Interstellar Objects
by: Tsukamoto, Hiroyasu, et al.
Published: (2022)

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
by: Yang, Lujie, et al.
Published: (2024)

Enhanced-FQL($λ$), an Efficient and Interpretable RL with novel Fuzzy Eligibility Traces and Segmented Experience Replay
by: Jalaeian-Farimani, Mohsen, et al.
Published: (2026)

Active Constraint Learning in High Dimensions from Demonstrations
by: Qiu, Zheng, et al.
Published: (2025)

A universal policy wrapper with guarantees
by: Bolychev, Anton, et al.
Published: (2025)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
by: Cornelio, Cristina, et al.
Published: (2024)

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