Probabilistic safety verification on ACAS Xu Property P2 benchmark leaderboard · SOTA2 Research

Probabilistic safety verification on ACAS Xu Property P2

0.9847Lower Bound (Ls)Regression Tree-Guided Probabilistic Verification

Evaluation Results

Method
Regression Tree-Guided Probabilistic Verification2026.04	0.9847	1	0.0153	124.21	46.58
Regression Tree-Guided Probabilistic Verification2026.04	0.9734	1	0.0266	336.51	81.21
Regression Tree-Guided Probabilistic Verification2026.04	0.9617	1	0.0383	884.45	155.31
Regression Tree-Guided Probabilistic Verification2026.04	0.954	0.9999	0.0459	819.22	249.24
ProbStar2026.04	0.954	1	0.046	1,306.79	145.27
ProbStar2026.04	0.9337	0.9972	0.0635	2,840.35	315.75
Regression Tree-Guided Probabilistic Verification2026.04	0.9241	0.9916	0.0675	1,248.7	240.79
Regression Tree-Guided Probabilistic Verification2026.04	0.9236	0.9999	0.0763	1,817.89	386.33
Regression Tree-Guided Probabilistic Verification2026.04	0.9233	0.9721	0.0487	949.94	189.76
Regression Tree-Guided Probabilistic Verification2026.04	0.915	0.9822	0.0673	1,808.11	359.85
ProbStar2026.04	0.915	0.999	0.084	3,120.21	346.86
ProbStar2026.04	0.9139	0.9695	0.0556	2,462.36	273.73
Regression Tree-Guided Probabilistic Verification2026.04	0.9134	0.9793	0.0659	1,604.2	381.73
ProbStar2026.04	0.9116	0.9977	0.0861	4,187.35	465.49
ProbStar2026.04	0.8925	0.9804	0.0879	3,869.9	430.2
ProbStar2026.04	0.8797	0.9792	0.0995	5,191.9	577.16
ProbStar2026.04	0.8796	0.9997	0.1201	6,715.75	746.56
ProbStar2026.04	0.8785	0.9792	0.1007	3,917.94	435.54