Synthesizing Control for a System with Black Box Environment, Based on Deep Learning. - Simon Iosti; Doron Peled; Khen Aharon; Saddek Bensalem; Yoav Goldberg (ISoLA (2), 2020)