Harish K. Venkataraman
Papers
1
Total Citations
13
H-Index
1
About
Harish K. Venkataraman is a leading researcher at the intersection of formal methods, reinforcement learning, and robotics. His work focuses on developing tractable algorithms that enable autonomous systems to learn complex, time-critical tasks and safety specifications. A key contribution is his pioneering approach to integrating Signal Temporal Logic (STL) with reinforcement learning, allowing robots to interpret and satisfy expressive, time-bound objectives directly from data. His most-cited paper, "Tractable Reinforcement Learning of Signal Temporal Logic Objectives" (2020), has garnered 13 citations and addresses the fundamental challenge of learning optimal policies for STL specifications—a problem critical for safe and reliable autonomy. By bridging logical reasoning with data-driven learning, Venkataraman’s research enables robots to handle real-world tasks that require strict temporal constraints, such as navigation and manipulation. His work is notable for its theoretical rigor and practical applicability, making him a rising figure in the field of safe reinforcement learning and formal verification for robotic systems.
Research Focus
Key Achievements
Top Papers
- 1Tractable Reinforcement Learning of Signal Temporal Logic Objectives13 citations · 2020