Safety value learning on G1ROUGH (simulation)
99.35r_temp (%)Supervised
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| Supervisedstatus=miracle baseline2026.06 | 99.35 | 9 | 2.71 | |
| λ-Reachabilitylambda=0.992026.06 | 97.92 | 8 | 6.49 | |
| λ-Reachabilitylambda=0.952026.06 | 96.43 | 9 | 9.23 | |
| λ-Reachabilitylambda=0.52026.06 | 52.4 | 27 | 45.45 | |
| λ-Reachabilitylambda=0.02026.06 | 21.97 | 39 | 60.17 | |
| DPE2026.06 | 21.94 | 40 | 59.68 |