The challenge to the research community is how to extend existing verification technologies to cope with software systems comprising AI components (see report of the Dagstuhl Seminar “Machine Learning and Model Checking join Forces” 2018). This is an unchartered territory and one of the most pressing research challenges in AI. The industrial importance of this topic is closely related to the question of liability in case of malfunctioning products. Over a 4-month period the explore project will provide a state-of-the-art survey and identify research directions to be followed.