Probabilistic Verification on Rocket Lander Controller
0.0791Us - LsRegression Tree-Guided Probabilistic Verification
Evaluation results
| Method | Links | ||
|---|---|---|---|
| Regression Tree-Guided Probabilistic VerificationNet & Prop=1 & 2, Parallelization=non-parallel2026.04 | 0.0791 | 23.287 | |
| Regression Tree-Guided Probabilistic VerificationNet & Prop=1 & 1, Parallelization=non-parallel2026.04 | 0.2299 | 70.723 | |
| Regression Tree-Guided Probabilistic VerificationNet & Prop=0 & 2, Parallelization=non-parallel2026.04 | 0.263 | 85.482 | |
| ProbStarNet & Prop=1 & 2, Parallelization=non-parallel2026.04 | 0.3569 | 319.571 | |
| ProbStarNet & Prop=1 & 1, Parallelization=non-parallel2026.04 | 0.554 | 438.278 | |
| Regression Tree-Guided Probabilistic VerificationNet & Prop=0 & 1, Parallelization=non-parallel2026.04 | 0.6505 | 171.933 | |
| ProbStarNet & Prop=0 & 1, Parallelization=non-parallel2026.04 | 0.715 | 418.183 | |
| ProbStarNet & Prop=0 & 2, Parallelization=non-parallel2026.04 | 0.8318 | 597.775 |