Mir Md Sajid Sarwar

According to our database, Mir Md Sajid Sarwar authored at least 6 papers between 2023 and 2025.

Collaborative distances:

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

2025

Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems.

Mir Md Sajid Sarwar, Rajarshi Ray

CoRR, April, 2025

AUTONAV: A Toolfor Autonomous Navigation of Robots.

Mir Md Sajid Sarwar, Sudip Samanta, Rajarshi Ray

CoRR, April, 2025

Explaining Unsolvability of Planning Problems in Cyber-Physical Systems.

Sk Asif Iqbal, Mir Md Sajid Sarwar, Rajarshi Ray

Proceedings of the 18th Innovations in Software Engineering Conference, 2025

2024

A Contrastive Explanation Tool for Plans in Hybrid Domains.

Devdan Dey, Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee

Proceedings of the 17th Innovations in Software Engineering Conference, 2024

2023

A Contrastive Plan Explanation Framework for Hybrid System Models.

Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee

ACM Trans. Embed. Comput. Syst., March, 2023

Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation.

Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023