Probabilistic Reach-Avoidance Verification on 9-Rooms 1.0
99.999Probability Lower BoundCLAPS bound (ours)
Evaluation results
| Method | Links | |
|---|---|---|
| CLAPS bound (ours)lambda=1000, gamma=0.99, step size delta=0.1, Lipschitz constant Lv=52023.12 | 99.999 | |
| Additive RASM bound [68]lambda=1000, gamma=0.99, step size delta=0.1, Lipschitz constant Lv=52023.12 | 99.9 | |
| CLAPS bound (ours)lambda=100, gamma=0.99, step size delta=0.1, Lipschitz constant Lv=52023.12 | 99.866 | |
| Additive RASM bound [68]lambda=100, gamma=0.99, step size delta=0.1, Lipschitz constant Lv=52023.12 | 99 | |
| CLAPS bound (ours)lambda=10, gamma=0.99, step size delta=0.1, Lipschitz constant Lv=52023.12 | 91.82 | |
| Additive RASM bound [68]lambda=10, gamma=0.99, step size delta=0.1, Lipschitz constant Lv=52023.12 | 90 |