Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

RNN-based navigation policy verification on Navigation 4x4 environment

1.42Avg. Violation Rate

RNN-ProVe

0.5226.583512.64518.7065May 14, 2026
Updated 19d ago

Evaluation Results

MethodLinks
2026.05
1.429910.0271
2026.05
1.43--215.58
2026.05
1.44--223.13
2026.05
1.62993.110.0053
2026.05
23.87--0.0244