Vasumathi Raman
Identifiers
No identifiers captured yet.
Papers (5)
- Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications cs.SY · 2017 · author #3
- Model Predictive Control for Signal Temporal Logic Specification cs.SY · 2017 · author #1
- Combining Neural Networks and Tree Search for Task and Motion Planning in Challenging Environments cs.RO · 2017 · author #2
- Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications cs.SY · 2016 · author #4
- Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors cs.RO · 2014 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Alberto Sangiovanni-Vincentelli 3 shared papers
- Sanjit A. Seshia 3 shared papers
- Shromona Ghosh 2 shared papers
- Alexandre Donz\'e 1 shared papers
- Alexandre Donze 1 shared papers
- Chris Paxton 1 shared papers
- Dorsa Sadigh 1 shared papers
- Gregory D. Hager 1 shared papers
- Hadas Kress-Gazit 1 shared papers
- Marcell Vazquez-Chanlatte 1 shared papers
- Marin Kobilarov 1 shared papers
- Mehdi Maasoumy 1 shared papers
- Pierluigi Nuzzo 1 shared papers
- Richard M. Murray 1 shared papers
- S. Shankar Sastry 1 shared papers