Shashank Srinivas

Papers

Total Citations

H-Index

About

Shashank Srinivas is a leading researcher in formal methods for robotics, with a focus on bridging the gap between high-level task specifications and low-level control. His work centers on Linear Temporal Logic (LTL) as a specification language for robotic motion and mission planning, addressing the critical challenge of making formal verification accessible to practical robotic systems. In his highly cited 2013 paper, "A graphical language for LTL motion and mission planning," Srinivas introduced an intuitive graphical interface for LTL specifications, significantly lowering the barrier to entry for roboticists without formal methods expertise. This work has garnered 15 citations and is recognized for enabling scalable LTL control synthesis while maintaining the expressive power needed for complex missions. Srinivas's contributions have helped democratize formal verification in robotics, allowing researchers to specify tasks like surveillance, delivery, and exploration in a mathematically rigorous yet user-friendly manner. His research continues to influence the development of autonomous systems that can reason about temporal constraints, safety, and liveness properties, making him a key figure in the intersection of formal methods and robotics.