29
Publications
1.7K
Citations
21
H-Index
2009
Active since
Vasumathi Raman is an author at Cornell University specializing in engineering, computer science, and automation.
Top concepts
EngineeringComputer ScienceAutomationSystems EngineeringRobot LearningRoboticsIntelligent SystemsFormal MethodsFormal VerificationRobot Control
Publications per year
2009–2018
29
29
Model predictive control with signal temporal logic specifications
Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy et al. · 2014 · 391 citations
Reactive synthesis from signal temporal logic specifications
Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh et al. · 2015 · 252 citations
Rows per page
1–5 of 29