Return to Article Details Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes Download Download PDF