Outer Reachable Set Computation on Tora (small)
1.14Time (s)HyBReach-MILP
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| HyBReach-MILPAlgorithm=MILP-based2026.03 | 1.14 | 0.144 | — | — | |
| DRIPY (★)Algorithm=polyhedral-enclosure, Refinement Scheme=None2026.03 | 1.63 | 0.167 | 1.43 | 1.16 | |
| DRIPY (★‡)Algorithm=polyhedral-enclosure, Refinement Scheme=Modified2026.03 | 5.17 | 0.0416 | — | — |