Rupak Majumdar

Choosing the Initial State for Online Replanning

2021 · Proceedings of the AAAI Conference on Artificial Intelligence

The need to replan arises in many applications. However, in the context of planning as heuristic search, it raises an annoying problem: if the previous plan is still executing, what should the new plan search …

Necessary and Sufficient Certificates for Almost Sure Reachability

2024 · IEEE Control Systems Letters

We consider the almost sure reachability problem for discrete-time stochastic dynamical systems, which asks if a system reaches a given subset of its state space almost surely (i.e., with probability one). We show necessary and …