Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints

Steven Carr, Nils Jansen, Ufuk Topcu

Recurrent neural networks (RNNs) have emerged as an effective representation of control policies in sequential decision-making problems. However, a major drawback in the applicatio…