Learning Task Specifications from Demonstrations
Towards Verified Artificial Intelligence