Share your thoughts, 1 month free Claude Pro on usSee more

Probabilistic safety verification on ACAS Xu Property P2

0.9847Lower Bound (Ls)

Regression Tree-Guided Probabilistic Verification

Updated 3mo ago

Evaluation Results

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