TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems

19 July 2024

Papers citing "TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems"

3 / 3 papers shown

Title
BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems Chelsea Sidrane Jana Tumova 27 0 0 06 May 2025
Learning Verifiable Control Policies Using Relaxed Verification Puja Chaudhury Alexander Estornell Michael Everett 29 0 0 23 Apr 2025
Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops Nicholas Rober Jonathan P. How 37 1 0 30 Sep 2024