Probabilistic verification on Rocket Lander Controller parallel
7.9063Us - LsRegression Tree-Guided Probabilistic Verification
Evaluation results
| Method | Links | ||
|---|---|---|---|
| Regression Tree-Guided Probabilistic VerificationNet & Prop=1 & 22026.04 | 7.9063 | 12.947 | |
| Regression Tree-Guided Probabilistic VerificationNet & Prop=1 & 12026.04 | 23.0962 | 18.9 | |
| Regression Tree-Guided Probabilistic VerificationNet & Prop=0 & 22026.04 | 26.5237 | 23.573 | |
| ProbStarNet & Prop=1 & 22026.04 | 35.6913 | 117.494 | |
| ProbStarNet & Prop=1 & 12026.04 | 55.4032 | 225.331 | |
| Regression Tree-Guided Probabilistic VerificationNet & Prop=0 & 12026.04 | 65.1642 | 33.767 | |
| ProbStarNet & Prop=0 & 12026.04 | 71.5046 | 141.047 | |
| ProbStarNet & Prop=0 & 22026.04 | 83.1752 | 225.331 |