Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning
DGX agentarXiv:2605.14758v1 Announce Type: new Abstract: History-dependent policies induced by recurrent neural networks (RNNs) rely on latent hidden state dynamics, making verification in partially observable