Siddhartha Nalluri

Papers

Total Citations

H-Index

About

Siddhartha Nalluri is a pioneering researcher at the intersection of formal methods and robotics, with a primary focus on hyper-temporal logics for autonomous planning. His major contribution lies in extending traditional temporal logic synthesis to **HyperLTL**, enabling robots to reason not just about single trajectories, but about relationships between multiple paths—a critical capability for enforcing objectives like **optimality, robustness, and privacy**. By formalizing these hyperproperties, Nalluri’s work provides a rigorous framework for ensuring that robotic systems behave correctly across all possible scenarios, not just in isolation. His most-cited paper (2020, 27 citations) has become a foundational reference for researchers seeking to bridge the gap between high-level specifications and provably correct motion planning. This work, along with earlier conference versions (2019, 5 and 4 citations), demonstrates a steady trajectory of influence in the formal methods community. Nalluri’s research is particularly notable for its practical implications: it offers a principled way to guarantee that a robot’s plan is not only safe but also optimal and resistant to adversarial interference. For students and researchers, his work represents a vital step toward trustworthy autonomous systems that can be verified against complex, multi-dimensional requirements.