Inzemamul Haque

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 4

Top Topics

Formal Verification

Imitation Learning

Top Venues

Publications

Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha
Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. CoRR (2024)
Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha
Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. CDC (2023)
Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu
Verification of a Generative Separation Kernel. CoRR (2020)
Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu
Verification of a Generative Separation Kernel. ATVA (2020)