Verification of a Generative Separation Kernel. - Inzemamul Haque; Deepak D'Souza; Habeeb P; Arnab Kundu; Ganesh Babu (ATVA, 2020)

Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. - Thao Dang 001; Alexandre Donzé; Inzemamul Haque; Nikolaos Kekatos; Indranil Saha (CDC, 2023)