Towards Verified Artificial Intelligence
Rise of concerns about AI: reflections and directions