Outer Reachable Set Computation on Tora (medium)
1.14Time (s)HyBReach-MILP
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| HyBReach-MILPAlgorithm=MILP-based2026.03 | 1.14 | 13.9 | — | — | |
| DRIPY (★)Algorithm=polyhedral-enclosure, Refinement Scheme=None2026.03 | 2.63 | 15.7 | 2.22 | 1.13 | |
| DRIPY (★‡)Algorithm=polyhedral-enclosure, Refinement Scheme=Modified2026.03 | 5.2 | 4.11 | — | — |