Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges | IEEE Conference Publication | IEEE Xplore