Vasumathi Raman

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 22

Top Topics

Motion Planning

Predictive Control

Top Venues

J. Autom. Reason.

Publications

Susmit Jha, Tuhin Sahai, Vasumathi Raman, Alessandro Pinto, Michael Francis
Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae. J. Autom. Reason. 63 (4) (2019)
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)
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) (2018)
Yi-Chin Wu, Vasumathi Raman, Blake C. Rawlings, Stéphane Lafortune, Sanjit A. Seshia
Synthesis of Obfuscation Policies to Ensure Privacy and Utility. J. Autom. Reason. 60 (1) (2018)
Hadas Kress-Gazit, Morteza Lahijanian, Vasumathi Raman
Synthesis for Robots: Guarantees and Feedback for Robot Behavior. Annu. Rev. Control. Robotics Auton. Syst. 1 (2018)
Susmit Jha, Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia
Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic. J. Autom. Reason. 60 (1) (2018)
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 (2017)
Susmit Jha, Vasumathi Raman, Alessandro Pinto, Tuhin Sahai, Michael Francis
On Learning Sparse Boolean Formulae for Explaining AI Decisions. NFM (2017)
Chris Paxton, Vasumathi Raman, Gregory D. Hager, Marin Kobilarov
Combining Neural Networks and Tree Search for Task and Motion Planning in Challenging Environments. CoRR (2017)
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 (2017)
Huey-Ru (Debbie) Tsai, Yasser Shoukry, Min Kyung Lee, Vasumathi Raman
Towards a socially responsible smart city: dynamic resource allocation for smarter community service. BuildSys@SenSys (2017)
Cristian Ioan Vasile, Vasumathi Raman, Sertac Karaman
Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications. IROS (2017)
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)
Scott C. Livingston, Vasumathi Raman
Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis. ARCH@CPSWeek (2016)
Susmit Jha, Vasumathi Raman
On Optimal Control of Stochastic Linear Hybrid Systems. FORMATS (2016)
Yi-Chin Wu, Vasumathi Raman, Stéphane Lafortune, Sanjit A. Seshia
Obfuscator Synthesis for Privacy and Utility. NFM (2016)
Rüdiger Ehlers, Vasumathi Raman
Slugs: Extensible GR(1) Synthesis. CAV (2) (2016)
Susmit Jha, Vasumathi Raman, Sanjit A. Seshia
On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks. FMCAD (2016)
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. HSCC (2016)
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 (2016)
Vasumathi Raman
The 2016 Formal Methods for Robotics Challenge [Competitions]. IEEE Robotics Autom. Mag. 23 (3) (2016)
Susmit Jha, Vasumathi Raman
Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty. NFM (2016)
Vasumathi Raman, Mattias Fält, Tichakorn Wongpiromsarn, Richard M. Murray
Online horizon selection in receding horizon temporal logic planning. IROS (2015)
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)
Alexandre Donzé, Vasumathi Raman
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications. ARCH@CPSWeek (2015)
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) (2015)
Jonathan A. DeCastro, Vasumathi Raman, Hadas Kress-Gazit
Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning. ICRA (2015)
Samira S. Farahani, Vasumathi Raman, Richard M. Murray
Robust Model Predictive Control for Signal Temporal Logic Synthesis. ADHS (2015)
Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray, Sanjit A. Seshia
Reactive synthesis from signal temporal logic specifications. HSCC (2015)
Mattias Fält, Vasumathi Raman, Richard M. Murray
Variable elimination for scalable receding horizon temporal logic planning. ACC (2015)
Constantine Lignos, Vasumathi Raman, Cameron Finucane, Mitchell P. Marcus, Hadas Kress-Gazit
Provably correct reactive control from natural language. Auton. Robots 38 (1) (2015)
Rüdiger Ehlers, Vasumathi Raman
Low-Effort Specification Debugging and Analysis. SYNT (2014)
Vasumathi Raman, Hadas Kress-Gazit
Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors. CoRR (2014)
Vasumathi Raman
Reactive switching protocols for multi-robot high-level tasks. IROS (2014)
Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donzé, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Truong X. Nghiem, Vasumathi Raman, Anthony Rowe, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh
Distributed control of a swarm of buildings connected to a smart grid: demo abstract. BuildSys@SenSys (2014)
Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Model predictive control with signal temporal logic specifications. CDC (2014)
Vasumathi Raman, Mehdi Maasoumy, Alexandre Donzé
Model predictive control from signal temporal logic specifications: a case study. CyPhy (2014)
Vasumathi Raman, Hadas Kress-Gazit
Synthesis for multi-robot controllers with interleaved motion. ICRA (2014)
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)
Vasumathi Raman, Hadas Kress-Gazit
Towards minimal explanations of unsynthesizability for high-level robot behaviors. IROS (2013)
Vasumathi Raman, Hadas Kress-Gazit
Explaining Impossible High-Level Robot Behaviors. IEEE Trans. Robotics 29 (1) (2013)
Vasumathi Raman, Nir Piterman, Hadas Kress-Gazit
Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations. ICRA (2013)
Vasumathi Raman, Hadas Kress-Gazit
Automated feedback for unachievable high-level robot behaviors. ICRA (2012)
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)
Gangyuan Jing, Cameron Finucane, Vasumathi Raman, Hadas Kress-Gazit
Correct high-level robot control from structured English. ICRA (2012)
Vasumathi Raman, Bingxin Xu, Hadas Kress-Gazit
Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory. IROS (2012)
Vasumathi Raman, Cameron Finucane, Hadas Kress-Gazit
Temporal logic robot mission planning for slow and fast actions. IROS (2012)
Vasumathi Raman, Hadas Kress-Gazit
Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP. CAV (2011)
Joseph Y. Halpern, Rafael Pass, Vasumathi Raman
An epistemic characterization of zero knowledge. TARK (2009)