Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications.

M. Vazquez-Chanlatte, S. Ghosh, V. Raman, A. Sangiovanni-Vincentelli, and S. Seshia. CoRR, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Raman, Vasumathi

add a person with the name Raman, Vasumathi

Other publications of authors with the same name

Provably correct reactive control from natural language.C. Lignos, V. Raman, C. Finucane, M. Marcus, and H. Kress-Gazit. Auton. Robots, 38 (1): 89-105 (2015)Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning.J. DeCastro, V. Raman, and H. Kress-Gazit. ICRA, page 369-376. IEEE, (2015)Low-Effort Specification Debugging and Analysis.R. Ehlers, and V. Raman. SYNT, volume 157 of EPTCS, page 117-133. (2014)Combining Neural Networks and Tree Search for Task and Motion Planning in Challenging Environments.C. Paxton, V. Raman, G. Hager, and M. Kobilarov. CoRR, (2017)The 2016 Formal Methods for Robotics Challenge Competitions.V. Raman. IEEE Robot. Automat. Mag., 23 (3): 24-25 (2016)Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles.J. Alonso-Mora, J. DeCastro, V. Raman, D. Rus, and H. Kress-Gazit. Auton. Robots, 42 (4): 801-824 (2018)Robust Model Predictive Control for Signal Temporal Logic Synthesis.S. Farahani, V. Raman, and R. Murray. ADHS, volume 48 of IFAC-PapersOnLine, page 323-328. Elsevier, (2015)Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games.M. Vazquez-Chanlatte, S. Ghosh, V. Raman, A. Sangiovanni-Vincentelli, and S. Seshia. ADHS, volume 51 of IFAC-PapersOnLine, page 7-12. Elsevier, (2018)Obfuscator Synthesis for Privacy and Utility.Y. Wu, V. Raman, S. Lafortune, and S. Seshia. NFM, volume 9690 of Lecture Notes in Computer Science, page 133-149. Springer, (2016)Situation understanding bot through language and environment.D. Brooks, C. Lignos, M. Medvedev, I. Perera, C. Finucane, V. Raman, A. Shultz, S. McSheehy, A. Norton, H. Kress-Gazit and 2 other author(s). HRI, page 419-420. ACM, (2012)

PUMA

Disambiguation of "Raman, Vasumathi"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications.

Please choose a person to relate this publication to

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Raman, Vasumathi"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications.

Please choose a person to relate this publication to

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications.