V
Vasumathi Raman
Researcher at California Institute of Technology
Publications - 55
Citations - 1974
Vasumathi Raman is an academic researcher from California Institute of Technology. The author has contributed to research in topics: Robot & Control theory. The author has an hindex of 22, co-authored 55 publications receiving 1559 citations. Previous affiliations of Vasumathi Raman include Cornell University & Massachusetts Institute of Technology.
Papers
More filters
Proceedings ArticleDOI
Model predictive control with signal temporal logic specifications
Vasumathi Raman,Alexandre Donzé,Mehdi Maasoumy,Richard M. Murray,Alberto Sangiovanni-Vincentelli,Sanjit A. Seshia +5 more
TL;DR: This work describes the use of STL to specify a wide range of properties of these systems, including safety, response and bounded liveness, and encode STL specifications as mixed integer-linear constraints on the system variables in the optimization problem at each step of a model predictive control framework.
Proceedings ArticleDOI
Reactive synthesis from signal temporal logic specifications
TL;DR: A counterexample-guided inductive synthesis approach to controller synthesis for cyber-physical systems subject to signal temporal logic (STL) specifications, operating in potentially adversarial nondeterministic environments is presented.
Proceedings ArticleDOI
Combining neural networks and tree search for task and motion planning in challenging environments
TL;DR: This work integrates Monte Carlo Tree Search with hierarchical neural net policies trained on expressive LTL specifications to find deep neural networks representing both low-level control policies and task-level “option policies” that achieve high-level goals.
Journal ArticleDOI
Synthesis for Robots: Guarantees and Feedback for Robot Behavior
TL;DR: The current state of formal synthesis for robotics is reviewed and the landscape of abstractions, specifications, and synthesis algorithms that enable it is surveyed.
Book ChapterDOI
Slugs: Extensible GR(1) Synthesis
Rüdiger Ehlers,Vasumathi Raman +1 more
TL;DR: Slugs is presented, a generalized reactivity(1) synthesis tool that has a powerful plugin architecture for modifying any aspect of the synthesis process to fit the application.