RNN-based navigation policy verification on Navigation (Nav) 16x16 environment
0.64Average Violation RateRNN-ProVe
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| RNN-ProVeEnv size=16×16, GRU size=12, Feas. Oracle=Approx., 1 - ê=98.36, # samples=100k, |h*|=127752026.05 | 0.64 | 99 | 4.7 | 0.0028 | |
| RNN-ProVeEnv size=16×16, GRU size=12, Feas. Oracle=Approx., 1 - ê=98.36, # samples=1M, |h*|=1270152026.05 | 0.79 | 99 | 2.61 | 0.0223 | |
| Monte-CarloEnv size=16×16, GRU size=12, # samples=1M, |h*|=1M2026.05 | 4.94 | — | — | 0.0244 |