Остановите войну!
for scientists:
default search action
Vasumathi Raman
- > Home > Persons > Vasumathi Raman
Publications
- 2018
- [j8]Hadas Kress-Gazit, Morteza Lahijanian, Vasumathi Raman:
Synthesis for Robots: Guarantees and Feedback for Robot Behavior. Annu. Rev. Control. Robotics Auton. Syst. 1: 211-236 (2018) - [j7]Javier Alonso-Mora, Jonathan A. DeCastro, Vasumathi Raman, Daniela Rus, Hadas Kress-Gazit:
Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles. Auton. Robots 42(4): 801-824 (2018) - 2015
- [j3]Constantine Lignos, Vasumathi Raman, Cameron Finucane, Mitchell P. Marcus, Hadas Kress-Gazit:
Provably correct reactive control from natural language. Auton. Robots 38(1): 89-105 (2015) - [j2]Vasumathi Raman, Nir Piterman, Cameron Finucane, Hadas Kress-Gazit:
Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control. IEEE Trans. Robotics 31(3): 591-604 (2015) - [c19]Jonathan A. DeCastro, Vasumathi Raman, Hadas Kress-Gazit:
Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning. ICRA 2015: 369-376 - [c17]Jonathan A. DeCastro, Javier Alonso-Mora, Vasumathi Raman, Daniela Rus, Hadas Kress-Gazit:
Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems. ISRR (1) 2015: 459-476 - 2014
- [c14]Vasumathi Raman, Hadas Kress-Gazit:
Synthesis for multi-robot controllers with interleaved motion. ICRA 2014: 4316-4321 - [i1]Vasumathi Raman, Hadas Kress-Gazit:
Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors. CoRR abs/1409.1455 (2014) - 2013
- [j1]Vasumathi Raman, Hadas Kress-Gazit:
Explaining Impossible High-Level Robot Behaviors. IEEE Trans. Robotics 29(1): 94-104 (2013) - [c10]Vasumathi Raman, Nir Piterman, Hadas Kress-Gazit:
Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations. ICRA 2013: 4075-4081 - [c9]Vasumathi Raman, Hadas Kress-Gazit:
Towards minimal explanations of unsynthesizability for high-level robot behaviors. IROS 2013: 757-762 - [c8]Vasumathi Raman, Constantine Lignos, Cameron Finucane, Kenton C. T. Lee, Mitchell P. Marcus, Hadas Kress-Gazit:
Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language. Robotics: Science and Systems 2013 - 2012
- [c7]Daniel J. Brooks, Constantine Lignos, Mikhail S. Medvedev, Ian Perera, Cameron Finucane, Vasumathi Raman, Abraham Shultz, Sean McSheehy, Adam Norton, Hadas Kress-Gazit, Mitchell P. Marcus, Holly A. Yanco:
Situation understanding bot through language and environment. HRI 2012: 419-420 - [c6]Gangyuan Jing, Cameron Finucane, Vasumathi Raman, Hadas Kress-Gazit:
Correct high-level robot control from structured English. ICRA 2012: 3543-3544 - [c5]Vasumathi Raman, Hadas Kress-Gazit:
Automated feedback for unachievable high-level robot behaviors. ICRA 2012: 5156-5162 - [c4]Vasumathi Raman, Cameron Finucane, Hadas Kress-Gazit:
Temporal logic robot mission planning for slow and fast actions. IROS 2012: 251-256 - [c3]Vasumathi Raman, Bingxin Xu, Hadas Kress-Gazit:
Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory. IROS 2012: 1233-1238 - 2011
- [c2]Vasumathi Raman, Hadas Kress-Gazit:
Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP. CAV 2011: 663-668
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-09-28 03:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint