default search action
Vasumathi Raman
Person information
- affiliation: Zipline Inc., USA
- affiliation (former): Zoox Inc., USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
- [j9]Susmit Jha
, Tuhin Sahai
Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae. J. Autom. Reason. 63(4): 1055-1075 (2019) - 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
Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles. Auton. Robots 42(4): 801-824 (2018) - [j6]Susmit Jha
Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic. J. Autom. Reason. 60(1): 43-62 (2018) - [j5]Yi-Chin Wu, Vasumathi Raman, Blake C. Rawlings
Synthesis of Obfuscation Policies to Ensure Privacy and Utility. J. Autom. Reason. 60(1): 107-131 (2018) - [c35]Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games. ADHS 2018: 7-12 - 2017
- [c34]Cristian Ioan Vasile
Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications. IROS 2017: 3840-3847 - [c33]Chris Paxton, Vasumathi Raman, Gregory D. Hager, Marin Kobilarov:
Combining neural networks and tree search for task and motion planning in challenging environments. IROS 2017: 6059-6066 - [c32]Susmit Jha, Vasumathi Raman, Alessandro Pinto
On Learning Sparse Boolean Formulae for Explaining AI Decisions. NFM 2017: 99-114 - [c31]Huey-Ru (Debbie) Tsai, Yasser Shoukry
Towards a socially responsible smart city: dynamic resource allocation for smarter community service. BuildSys 2017: 13:1-13:4 - [i5]Chris Paxton, Vasumathi Raman, Gregory D. Hager, Marin Kobilarov:
Combining Neural Networks and Tree Search for Task and Motion Planning in Challenging Environments. CoRR abs/1703.07887 (2017) - [i4]Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Model Predictive Control for Signal Temporal Logic Specification. CoRR abs/1703.09563 (2017) - [i3]Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications. CoRR abs/1707.03529 (2017) - 2016
- [j4]Vasumathi Raman:
The 2016 Formal Methods for Robotics Challenge [Competitions]. IEEE Robotics Autom. Mag. 23(3): 24-25 (2016) - [c30]Rüdiger Ehlers
Slugs: Extensible GR(1) Synthesis. CAV (2) 2016: 333-339 - [c29]Scott C. Livingston, Vasumathi Raman:
Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis. ARCH@CPSWeek 2016: 52-59 - [c28]Susmit Jha, Vasumathi Raman, Sanjit A. Seshia:
On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks. FMCAD 2016: 81-84 - [c27]Susmit Jha, Vasumathi Raman:
On Optimal Control of Stochastic Linear Hybrid Systems. FORMATS 2016: 69-84 - [c26]Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. HSCC 2016: 31-40 - [c25]Susmit Jha, Vasumathi Raman:
Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty. NFM 2016: 117-132 - [c24]Yi-Chin Wu, Vasumathi Raman, Stéphane Lafortune
Obfuscator Synthesis for Privacy and Utility. NFM 2016: 133-149 - [i2]Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia:
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. CoRR abs/1602.01883 (2016) - 2015
- [j3]Constantine Lignos
Provably correct reactive control from natural language. Auton. Robots 38(1): 89-105 (2015) - [j2]Vasumathi Raman, Nir Piterman
Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control. IEEE Trans. Robotics 31(3): 591-604 (2015) - [c23]Samira S. Farahani, Vasumathi Raman, Richard M. Murray
Robust Model Predictive Control for Signal Temporal Logic Synthesis. ADHS 2015: 323-328 - [c22]Mattias Fält, Vasumathi Raman, Richard M. Murray
Variable elimination for scalable receding horizon temporal logic planning. ACC 2015: 1917-1922 - [c21]Alexandre Donzé, Vasumathi Raman:
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications. ARCH@CPSWeek 2015: 160-168 - [c20]Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray
Reactive synthesis from signal temporal logic specifications. HSCC 2015: 239-248 - [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 - [c18]Vasumathi Raman, Mattias Fält, Tichakorn Wongpiromsarn, Richard M. Murray
Online horizon selection in receding horizon temporal logic planning. IROS 2015: 3493-3499 - [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
- [c16]Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray
Model predictive control with signal temporal logic specifications. CDC 2014: 81-87 - [c15]Vasumathi Raman, Mehdi Maasoumy, Alexandre Donzé:
Model predictive control from signal temporal logic specifications: a case study. CyPhy 2014: 52-55 - [c14]Vasumathi Raman, Hadas Kress-Gazit:
Synthesis for multi-robot controllers with interleaved motion. ICRA 2014: 4316-4321 - [c13]Vasumathi Raman:
Reactive switching protocols for multi-robot high-level tasks. IROS 2014: 336-341 - [c12]Baris Aksanli
Distributed control of a swarm of buildings connected to a smart grid: demo abstract. BuildSys 2014: 172-173 - [c11]Rüdiger Ehlers
Low-Effort Specification Debugging and Analysis. SYNT 2014: 117-133 - [i1]Vasumathi Raman, Hadas Kress-Gazit:
Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors. CoRR abs/1409.1455 (2014) - 2013
- [b1]Vasumathi Raman:
Explaining Unsynthesizability of High-Level Robot Behaviors. Cornell University, USA, 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
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
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
2000 – 2009
- 2009
- [c1]Joseph Y. Halpern, Rafael Pass
An epistemic characterization of zero knowledge. TARK 2009: 156-165
Coauthor Index
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 2024-12-05 21:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: