Trax solver on Zynq with Deep Q-Network | IEEE Conference Publication | IEEE Xplore