Collision-free region decomposition on Reach 14D
100PrecisionQ-Cvx
Evaluation results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| Q-CvxRefinement Protocol=Pre-refinement2026.06 | 100 | 2.7 | 45.5 | 26.4 | 3 | 3 | |
| IRISRefinement Protocol=Post-refinement (precision = 1.0)2026.06 | 100 | 0.2 | 33.9 | 7.1 | 2 | 27 | |
| IRIS-SelRefinement Protocol=Post-refinement (precision = 1.0)2026.06 | 100 | 0.1 | 17.2 | 3.4 | 1 | 3 | |
| Q-CvxRefinement Protocol=Post-refinement (precision = 1.0)2026.06 | 100 | 2.7 | 45.5 | 26.4 | 3 | 3 | |
| Vis-CvxRefinement Protocol=Post-refinement (precision = 1.0)2026.06 | 100 | 10.2 | 79.1 | 58.4 | 2 | 3 | |
| ILDRefinement Protocol=Post-refinement (precision = 1.0)2026.06 | 100 | 22.2 | 92.7 | 80 | 1 | 3 | |
| ILDRefinement Protocol=Pre-refinement2026.06 | 99.65 | 37.1 | 98 | 93 | 1 | 3 | |
| Vis-CvxRefinement Protocol=Pre-refinement2026.06 | 99.44 | 19.7 | 96.5 | 84.7 | 1 | 3 | |
| IRIS-SelRefinement Protocol=Pre-refinement2026.06 | 84.2 | 54.1 | 99.7 | 97 | 1 | 3 | |
| IRISRefinement Protocol=Pre-refinement2026.06 | 76.37 | 82.2 | 99.8 | 99.4 | 2 | 27 |