I work in areas that are in the overlap of formal methods and AI. My works can be classified into three sub-categories.
