Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints.

Steven Carr, Nils Jansen, Ufuk Topcu

Browse the full IJCAI paper archive.