Iam looking for a new PhD student to work on extending the applicability of verification to Reinforcement learning. See here for more information about the project. We will soon announce the position. Contact me if you have questions.