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

Open in new window