Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints

Open in new window