4 papers
Runtime Enforcement of Hybrid System Properties
Mir Md Sajid Sarwar, Srinivas Pinisetty, Rajarshi Ray +1
Runtime enforcement has emerged as a promising approach for ensuring the safety of autonomous and cyber-physical systems operating in uncertain and dynamic environments. Unlike tra…
Explainable Planning for Hybrid Systems
Mir Md Sajid Sarwar
The recent advancement in artificial intelligence (AI) technologies facilitates a paradigm shift toward automation. Autonomous systems are fully or partially replacing manually cra…
Preprint: Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems
Mir Md Sajid Sarwar, Rajarshi Ray
Explaining unsolvability of planning problems is of significant research interest in Explainable AI Planning. AI planning literature has reported several research efforts on genera…
AUTONAV: A Toolfor Autonomous Navigation of Robots
Mir Md Sajid Sarwar, Sudip Samanta, Rajarshi Ray
We present a tool AUTONAV that automates the mapping, localization, and path-planning tasks for autonomous navigation of robots. The modular architecture allows easy integration of…