Suda Bharadwaj

Papers

Total Citations

H-Index

About

Suda Bharadwaj is a researcher specializing in formal methods, robotics, and game-theoretic planning, with a particular focus on developing rigorous frameworks for autonomous systems operating under uncertainty. Their most influential work centers on the synthesis of controllers for robots and agents that must achieve complex objectives in adversarial or partially observable environments. Bharadwaj's most cited contribution, "Synthesis of Surveillance Strategies via Belief Abstraction" (2018, 26 citations), introduced a novel framework for enabling robots to maintain knowledge of a moving, potentially adversarial target's location — a challenging problem formulated as a one-sided partial-information game. This work has become a foundational reference in robot surveillance and formal controller synthesis. Building on this foundation, their 2021 paper on "Safe Policies for Factored Partially Observable Stochastic Games" addresses the critical challenge of balancing performance optimization with safety guarantees when agents interact with uncontrollable adversaries — a problem of growing importance in multi-objective autonomous planning. Across their research, Bharadwaj consistently bridges theoretical computer science and practical robotics, advancing tools that ensure both correctness and safety in autonomous decision-making. Their work appeals to researchers at the intersection of formal verification, artificial intelligence, and robotics.