Pith. sign in

REVIEW 1 cited by

Q-learning-based Model-free Safety Filter

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2411.19809 v1 pith:CW3N3MMX submitted 2024-11-29 cs.RO cs.AIcs.SYeess.SY

classification cs.ROcs.AIcs.SYeess.SY
keywords model-freesafetyalgorithmsapproachescomplexexistingfilterfiltering
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Ensuring safety via safety filters in real-world robotics presents significant challenges, particularly when the system dynamics is complex or unavailable. To handle this issue, learning-based safety filters recently gained popularity, which can be classified as model-based and model-free methods. Existing model-based approaches requires various assumptions on system model (e.g., control-affine), which limits their application in complex systems, and existing model-free approaches need substantial modifications to standard RL algorithms and lack versatility. This paper proposes a simple, plugin-and-play, and effective model-free safety filter learning framework. We introduce a novel reward formulation and use Q-learning to learn Q-value functions to safeguard arbitrary task specific nominal policies via filtering out their potentially unsafe actions. The threshold used in the filtering process is supported by our theoretical analysis. Due to its model-free nature and simplicity, our framework can be seamlessly integrated with various RL algorithms. We validate the proposed approach through simulations on double integrator and Dubin's car systems and demonstrate its effectiveness in real-world experiments with a soft robotic limb.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks

    cs.LG 2025-05 reject novelty 5.0 of 10

    Learned Q-function safety filters are certified by verifying two sufficient conditions with a mixed-integer optimizer, using a multiplicative Q-network to prevent safe-set collapse during fine-tuning.

Pith tools