Outer Reachable Set Computation on Unicycle (small)
60.59Time (s)DRIPY (★)
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| DRIPY (★)Algorithm=polyhedral-enclosure, Refinement Scheme=None2026.03 | 60.59 | 151 | 90.79 | 12.23 | |
| DRIPY (★‡)Algorithm=polyhedral-enclosure, Refinement Scheme=Modified2026.03 | 1,897.94 | 40 | — | — | |
| HyBReach-MILPAlgorithm=MILP-based2026.03 | 5,501 | 1,840 | — | — |