Probabilistic safety verification on ACAS Xu Property P2
0.9847Lower Bound (Ls)Regression Tree-Guided Probabilistic Verification
Evaluation results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| Regression Tree-Guided Probabilistic VerificationNet=1-62026.04 | 0.9847 | 1 | 0.0153 | 124.21 | 46.58 | |
| Regression Tree-Guided Probabilistic VerificationNet=5-32026.04 | 0.9734 | 1 | 0.0266 | 336.51 | 81.21 | |
| Regression Tree-Guided Probabilistic VerificationNet=4-12026.04 | 0.9617 | 1 | 0.0383 | 884.45 | 155.31 | |
| Regression Tree-Guided Probabilistic VerificationNet=2-92026.04 | 0.954 | 0.9999 | 0.0459 | 819.22 | 249.24 | |
| ProbStarNet=5-32026.04 | 0.954 | 1 | 0.046 | 1,306.79 | 145.27 | |
| ProbStarNet=1-62026.04 | 0.9337 | 0.9972 | 0.0635 | 2,840.35 | 315.75 | |
| Regression Tree-Guided Probabilistic VerificationNet=2-22026.04 | 0.9241 | 0.9916 | 0.0675 | 1,248.7 | 240.79 | |
| Regression Tree-Guided Probabilistic VerificationNet=3-72026.04 | 0.9236 | 0.9999 | 0.0763 | 1,817.89 | 386.33 | |
| Regression Tree-Guided Probabilistic VerificationNet=3-12026.04 | 0.9233 | 0.9721 | 0.0487 | 949.94 | 189.76 | |
| Regression Tree-Guided Probabilistic VerificationNet=3-62026.04 | 0.915 | 0.9822 | 0.0673 | 1,808.11 | 359.85 | |
| ProbStarNet=4-12026.04 | 0.915 | 0.999 | 0.084 | 3,120.21 | 346.86 | |
| ProbStarNet=3-12026.04 | 0.9139 | 0.9695 | 0.0556 | 2,462.36 | 273.73 | |
| Regression Tree-Guided Probabilistic VerificationNet=4-72026.04 | 0.9134 | 0.9793 | 0.0659 | 1,604.2 | 381.73 | |
| ProbStarNet=3-72026.04 | 0.9116 | 0.9977 | 0.0861 | 4,187.35 | 465.49 | |
| ProbStarNet=2-22026.04 | 0.8925 | 0.9804 | 0.0879 | 3,869.9 | 430.2 | |
| ProbStarNet=3-62026.04 | 0.8797 | 0.9792 | 0.0995 | 5,191.9 | 577.16 | |
| ProbStarNet=2-92026.04 | 0.8796 | 0.9997 | 0.1201 | 6,715.75 | 746.56 | |
| ProbStarNet=4-72026.04 | 0.8785 | 0.9792 | 0.1007 | 3,917.94 | 435.54 |