Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation. - Mir Md Sajid Sarwar; Rajarshi Ray 001; Ansuman Banerjee (MEMOCODE, 2023)

A Contrastive Plan Explanation Framework for Hybrid System Models. - Mir Md Sajid Sarwar; Rajarshi Ray 001; Ansuman Banerjee (ACM Trans. Embed. Comput. Syst., 2023)

A Contrastive Explanation Tool for Plans in Hybrid Domains. - Devdan Dey; Mir Md Sajid Sarwar; Rajarshi Ray 001; Ansuman Banerjee (ISEC, 2024)

Explaining Unsolvability of Planning Problems in Cyber-Physical Systems. - Sk Asif Iqbal; Mir Md Sajid Sarwar; Rajarshi Ray 001 (ISEC, 2025)

AUTONAV: A Toolfor Autonomous Navigation of Robots. - Mir Md Sajid Sarwar; Sudip Samanta; Rajarshi Ray 001 (CoRR, 2025)

Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems. - Mir Md Sajid Sarwar; Rajarshi Ray 001 (CoRR, 2025)