Publications

1. Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications [PDF]
   Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha
   IEEE Conference on Decision and Control (CDC), 2023
2. Verification of a Generative Separation Kernel [PDF]
   Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu
   International Symposium on Automated Technology for Verification and Analysis (ATVA), 2020