RNN-based navigation policy verification on Navigation (Nav) 16x16 environment
0.64Average Violation Rate
RNN-ProVe
Updated 19d ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2026.05 | 0.64 | 99 | 4.7 | 0.0028 | |
2026.05 | 0.79 | 99 | 2.61 | 0.0223 | |
2026.05 | 4.94 | - | - | 0.0244 |
RNN-ProVe
| Method | Links | ||||
|---|---|---|---|---|---|
2026.05 | 0.64 | 99 | 4.7 | 0.0028 | |
2026.05 | 0.79 | 99 | 2.61 | 0.0223 | |
2026.05 | 4.94 | - | - | 0.0244 |