Outer Reachable Set Computation on Tora (large)
1.4Time (s)HyBReach-MILP
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| HyBReach-MILPAlgorithm=MILP-based2026.03 | 1.4 | 0.144 | — | — | |
| DRIPY (★)Algorithm=polyhedral-enclosure, Refinement Scheme=None2026.03 | 2.53 | 0.166 | 1.81 | 1.15 | |
| DRIPY (★‡)Algorithm=polyhedral-enclosure, Refinement Scheme=Modified2026.03 | 6.68 | 0.0416 | — | — |