Towards Verified Artificial Intelligence
Formal methods: state of the art and future directions