Task-aware Verifiable RNN-based Policies for Partially Observable Markov Decision Processes
Carr, Steven et al. (2021). " Task-aware Verifiable RNN-based Policies for Partially Observable Markov Decision Processes." Journal of Artificial Intelligence Research . 72 (2021): 819-847.