@misc{indiciae5396e7939e94, title = {Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks}, author = {Steven Carr and Nils Jansen and Ralf Wimmer and Alexandru C. Serban and Bernd Becker and Ufuk Topcu}, year = {2019}, url = {https://arxiv.org/abs/1903.08428}, note = {Source identifier: 1903.08428} }