RNN-based navigation policy verification on Navigation 4x4 environment
1.42Avg. Violation RateRNN-ProVe
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| RNN-ProVeEnv size=4×4, GRU size=4, Feas. Oracle=Approx., 1 - ê=99.97, # samples=1M, |h*|=1273592026.05 | 1.42 | 99 | 1 | 0.0271 | |
| BaselineEnv size=4×4, GRU size=4, Feas. Oracle=Approx., 1 - ê=99.972026.05 | 1.43 | — | — | 215.58 | |
| BaselineEnv size=4×4, GRU size=4, Feas. Oracle=Exact2026.05 | 1.44 | — | — | 223.13 | |
| RNN-ProVeEnv size=4×4, GRU size=4, Feas. Oracle=Approx., 1 - ê=99.97, # samples=100k, |h*|=126372026.05 | 1.62 | 99 | 3.11 | 0.0053 | |
| Monte-CarloEnv size=4×4, GRU size=4, # samples=1M, |h*|=1M2026.05 | 23.87 | — | — | 0.0244 |