Inzemamul Haque

According to our database, Inzemamul Haque authored at least 2 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications.

Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2020

Verification of a Generative Separation Kernel.

Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu

Proceedings of the Automated Technology for Verification and Analysis, 2020