Papers
19
Total Citations
837
H-Index
15
About
Vasumathi Raman is a prominent robotics and formal methods researcher whose work sits at the intersection of automated synthesis, robot planning, and human-robot interaction. Her research focuses on enabling robots to perform complex, high-level tasks reliably and safely, with particular emphasis on formal synthesis techniques, reactive planning, and natural language interfaces for non-expert users. Among her most influential contributions is her work on synthesis-based robot control, where she applies formal methods — particularly GR(1) synthesis and linear temporal logic (LTL) — to automatically generate correct-by-construction robot controllers. Her widely cited 2018 survey, "Synthesis for Robots" (170 citations), consolidates this field's advances and has become a key reference for researchers. Her tool Slugs (103 citations) has established itself as an extensible, practical framework for GR(1) synthesis. Raman has also made significant strides in explainability, developing methods that help robots communicate why certain tasks are impossible — bridging the gap between formal reasoning and accessible user interaction. Her multi-robot collision-free planning work further demonstrates her commitment to real-world applicability. With over 700 cumulative citations across her top papers, Raman's research has meaningfully shaped how autonomous robots are programmed, reasoned about, and made accessible to everyday users.
Research Focus
Key Achievements
Top Papers
- 1Synthesis for Robots: Guarantees and Feedback for Robot Behavior170 citations · 2018
- 2Slugs: Extensible GR(1) Synthesis103 citations · 2016
- 3
- 4
- 5Explaining Impossible High-Level Robot Behaviors52 citations · 2012
- 6Provably correct reactive control from natural language52 citations · 2014
- 7
- 8Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems44 citations · 2017
- 9
- 10