Buchumschlag

Integrating LTL Constraints into PPO for Safe Reinforcement Learning

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Maifang, Yu, Hang, Zuo, Qian, Wang, Cheng, Belle, Vaishak, He, Fengxiang
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Machine Learning Artificial Intelligence Logic in Computer Science Robotics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Logic Tensor Network-Enhanced Generative Adversarial Network
von: Upreti, Nijesh, et al.
Veröffentlicht: (2026)

Shield Synthesis for LTL Modulo Theories
von: Rodriguez, Andoni, et al.
Veröffentlicht: (2024)

Counterfactual Explanations as Plans
von: Belle, Vaishak
Veröffentlicht: (2025)

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

Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning
von: Mendez-Lucero, Miguel Angel, et al.
Veröffentlicht: (2024)

Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
von: Molick, Sanderson, et al.
Veröffentlicht: (2026)

Learning Optimal Strategies for Temporal Tasks in Stochastic Games
von: Bozkurt, Alper Kamil, et al.
Veröffentlicht: (2021)

Robust Shielding for Safe Reinforcement Learning
von: Court, Edwin Hamel-De le, et al.
Veröffentlicht: (2026)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
von: Cornelio, Cristina, et al.
Veröffentlicht: (2024)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
von: Meng, Yue, et al.
Veröffentlicht: (2025)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
von: Meng, Yue, et al.
Veröffentlicht: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
von: Lin, Yuanfei, et al.
Veröffentlicht: (2022)

Safe Offline Reinforcement Learning with Real-Time Budget Constraints
von: Lin, Qian, et al.
Veröffentlicht: (2023)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
von: Balakrishnan, Anand, et al.
Veröffentlicht: (2022)

Multitask Kernel-based Learning with First-Order Logic Constraints
von: Diligenti, Michelangelo, et al.
Veröffentlicht: (2023)

Constrained Decoding for Safe Robot Navigation Foundation Models
von: Kapoor, Parv, et al.
Veröffentlicht: (2025)

Efficient Dynamic Shielding for Parametric Safety Specifications
von: Corsi, Davide, et al.
Veröffentlicht: (2025)

Value Functions for Temporal Logic: Optimal Policies and Safety Filters
von: So, Oswin, et al.
Veröffentlicht: (2026)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
von: Buleshnyi, Mykhailo, et al.
Veröffentlicht: (2025)

Inductive Generalization in Reinforcement Learning from Specifications
von: Subramanian, Vignesh, et al.
Veröffentlicht: (2024)

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems
von: Brorholt, Asger Horn, et al.
Veröffentlicht: (2024)

TOPPO: Rethinking PPO for Multi-Task Reinforcement Learning with Critic Balancing
von: Li, Yuanpeng, et al.
Veröffentlicht: (2026)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
von: Li, Chunxiao, et al.
Veröffentlicht: (2024)

Value Function Initialization for Knowledge Transfer and Jump-start in Deep Reinforcement Learning
von: Mehimeh, Soumia
Veröffentlicht: (2025)

Long and Short-Term Constraints Driven Safe Reinforcement Learning for Autonomous Driving
von: Hu, Xuemin, et al.
Veröffentlicht: (2024)

Beyond Hard Constraints: Budget-Conditioned Reachability For Safe Offline Reinforcement Learning
von: Brahmanage, Janaka Chathuranga, et al.
Veröffentlicht: (2026)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
von: Aditya, Dyuman, et al.
Veröffentlicht: (2025)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
von: Olivieri, Pierriccardo, et al.
Veröffentlicht: (2026)

Meta Operator for Complex Query Answering on Knowledge Graphs
von: Yin, Hang, et al.
Veröffentlicht: (2024)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
von: Pati, Viresh, et al.
Veröffentlicht: (2026)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
von: Zhang, Changjian, et al.
Veröffentlicht: (2024)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
von: He, Haoyuan, et al.
Veröffentlicht: (2022)

Model-Free Learning of Safe yet Effective Controllers
von: Bozkurt, Alper Kamil, et al.
Veröffentlicht: (2021)

Feasibility-Guided Fair Adaptive Offline Reinforcement Learning for Medicaid Care Management
von: Basu, Sanjay, et al.
Veröffentlicht: (2025)

DeepOnto: A Python Package for Ontology Engineering with Deep Learning
von: He, Yuan, et al.
Veröffentlicht: (2023)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
von: Bizzaro, Davide, et al.
Veröffentlicht: (2025)

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
von: Zhao, Yanxiao, et al.
Veröffentlicht: (2025)

Revisiting Safe Exploration in Safe Reinforcement learning
von: Eckel, David, et al.
Veröffentlicht: (2024)

Hyperproperty-Constrained Secure Reinforcement Learning
von: Bonnah, Ernest, et al.
Veröffentlicht: (2025)

Implicit Safe Set Algorithm for Provably Safe Reinforcement Learning
von: Zhao, Weiye, et al.
Veröffentlicht: (2024)