N Topin,
M Veloso - Proceedings of the AAAI Conference on Artificial …, 2019 - ojs.aaai.org
Though reinforcement learning has greatly benefited from the incorporation of neural
networks, the inability to verify the correctness of such systems limits their use. Current work …