S.B. Pathak
Papers
1
Total Citations
8
H-Index
1
About
Dr. S.B. Pathak is a researcher at the forefront of software engineering for autonomous systems, with a focused expertise in verification and validation methodologies. Their seminal work, "Engineering Approaches and Methods to Verify Software in Autonomous Systems" (2015), has garnered 8 citations and established foundational frameworks for ensuring reliability in self-driving vehicles, drones, and robotic platforms. Pathak's contributions address the critical challenge of proving correctness in complex, real-time decision-making software, bridging the gap between formal verification techniques and practical engineering constraints. By developing systematic approaches to model checking and runtime monitoring, their research directly impacts safety-critical applications where software failures could have catastrophic consequences. Though their citation count reflects a niche but highly specialized field, Pathak's work is instrumental in advancing trust in autonomous technologies. Their achievements include pioneering methods that enable engineers to detect subtle logical errors in autonomous navigation and control systems, making them a key voice in the growing dialogue around AI safety and dependable software architecture.
Research Focus
Key Achievements
Top Papers
- 1