Outer Reachable Set Computation on Unicycle large
100.58Time (s)DRIPY (★)
Evaluation results
| Method | Links | ||||
|---|---|---|---|---|---|
| DRIPY (★)Algorithm=polyhedral-enclosure, Refinement Scheme=None2026.03 | 100.58 | 151 | 47.12 | 12.06 | |
| DRIPY (★‡)Algorithm=polyhedral-enclosure, Refinement Scheme=Modified2026.03 | 1,611.4 | 42 | — | — | |
| HyBReach-MILPAlgorithm=MILP-based2026.03 | 4,739.67 | 1,820 | — | — |