Navigation Predicate Evaluation on Dubins Car 40/60 calibration (test)
100PrecisionETL
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| ETLSpec=Seq. A → B, Scope=episodes, Thresholding Procedure=F1-optimal (epsilon*)2026.05 | 100 | 100 | 100 | 100 | |
| ETLSpec=Seq. A → B, Scope=episodes, Thresholding Procedure=Conformal Prediction (epsilonCP, alpha=0.10)2026.05 | 100 | — | 100 | 100 | |
| ETLSpec=Reach A, Scope=frames, Thresholding Procedure=F1-optimal (epsilon*)2026.05 | 87 | 85 | 83 | 98.6 | |
| ETLSpec=RA A ∧ ¬C, Scope=frames, Thresholding Procedure=F1-optimal (epsilon*)2026.05 | 87 | 85 | 83 | 98.6 | |
| ETLSpec=Reach A, Scope=frames, Thresholding Procedure=Conformal Prediction (epsilonCP, alpha=0.10)2026.05 | 79 | — | 93 | 98.5 | |
| ETLSpec=RA A ∧ ¬C, Scope=frames, Thresholding Procedure=Conformal Prediction (epsilonCP, alpha=0.10)2026.05 | 79 | — | 93 | 98.5 | |
| ETLSpec=Avoid C, Scope=frames, Thresholding Procedure=Conformal Prediction (epsilonCP, alpha=0.10)2026.05 | 70 | — | 92 | 96.5 | |
| ETLSpec=Avoid C, Scope=frames, Thresholding Procedure=F1-optimal (epsilon*)2026.05 | 69 | 80 | 94 | 96.5 |