RNN-based navigation policy verification on Navigation (Nav) 8x8 environment
13.01Average Violation RateBaseline
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| BaselineEnv size=8×8, GRU size=8, Feas. Oracle=Approx., 1 - ê=99.992026.05 | 13.01 | — | — | 1,050.53 | |
| RNN-ProVeEnv size=8×8, GRU size=8, Feas. Oracle=Approx., 1 - ê=99.99, # samples=100k, |h*|=108902026.05 | 13.04 | 99 | 3.33 | 0.0024 | |
| RNN-ProVeEnv size=8×8, GRU size=8, Feas. Oracle=Approx., 1 - ê=99.99, # samples=1M, |h*|=1102932026.05 | 13.37 | 99 | 1.05 | 0.0207 | |
| Monte-CarloEnv size=8×8, GRU size=8, # samples=1M, |h*|=1M2026.05 | 21.24 | — | — | 0.0244 |