Inzemamul Haque

Identifiers

• name variant Inzemamul Haque 0.60 · backfill

Papers (2)

1. Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications cs.RO · 2024 · author #3
2. Verification of a Generative Separation Kernel cs.PL · 2020 · author #1

Mentions

• 2403.16593 #3 · arxiv_oai · confidence 0.70 Inzemamul Haque
• 2001.10328 #1 · arxiv_oai · confidence 0.70 Inzemamul Haque

Frequent Coauthors

• Alexandre Donz\'e 1 shared papers
• Arnab Kundu 1 shared papers
• Deepak D'Souza 1 shared papers
• Ganesh Babu 1 shared papers
• Habeeb P 1 shared papers
• Indranil Saha 1 shared papers
• Nikolaos Kekatos 1 shared papers
• Thao Dang 1 shared papers