Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning
arXiv: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 reinforcement learning (RL) challenging. Existing …