Vasumathi Raman

50 papers A* 7A 7B 2C 1Journal 14Unranked 18

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae. J. Autom. Reason. Susmit Jha, Tuhin Sahai, Vasumathi Raman, Alessandro Pinto, Michael Francis
2018	—	`conf`	Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games. ADHS Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2018	J	`jnl`	Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles. Auton. Robots Javier Alonso-Mora, Jonathan A. DeCastro, Vasumathi Raman, Daniela Rus, Hadas Kress-Gazit
2018	J	`jnl`	Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic. J. Autom. Reason. Susmit Jha, Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia
2018	J	`jnl`	Synthesis for Robots: Guarantees and Feedback for Robot Behavior. Annu. Rev. Control. Robotics Auton. Syst. Hadas Kress-Gazit, Morteza Lahijanian, Vasumathi Raman
2018	J	`jnl`	Synthesis of Obfuscation Policies to Ensure Privacy and Utility. J. Autom. Reason. Yi-Chin Wu, Vasumathi Raman, Blake C. Rawlings, Stéphane Lafortune, Sanjit A. Seshia
2017	J	`jnl`	Combining Neural Networks and Tree Search for Task and Motion Planning in Challenging Environments. CoRR Chris Paxton, Vasumathi Raman, Gregory D. Hager, Marin Kobilarov
2017	A	`conf`	Combining neural networks and tree search for task and motion planning in challenging environments. IROS Chris Paxton, Vasumathi Raman, Gregory D. Hager, Marin Kobilarov
2017	J	`jnl`	Model Predictive Control for Signal Temporal Logic Specification. CoRR Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2017	—	`conf`	On Learning Sparse Boolean Formulae for Explaining AI Decisions. NFM Susmit Jha, Vasumathi Raman, Alessandro Pinto, Tuhin Sahai, Michael Francis
2017	A	`conf`	Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications. IROS Cristian Ioan Vasile, Vasumathi Raman, Sertac Karaman
2017	—	`conf`	Towards a socially responsible smart city: dynamic resource allocation for smarter community service. BuildSys Huey-Ru (Debbie) Tsai, Yasser Shoukry, Min Kyung Lee, Vasumathi Raman
2017	J	`jnl`	Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications. CoRR Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2016	—	`conf`	Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty. NFM Susmit Jha, Vasumathi Raman
2016	—	`conf`	Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis. ARCH@CPSWeek Scott C. Livingston, Vasumathi Raman
2016	—	`conf`	Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. HSCC Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia
2016	J	`jnl`	Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. CoRR Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia
2016	—	`conf`	Obfuscator Synthesis for Privacy and Utility. NFM Yi-Chin Wu, Vasumathi Raman, Stéphane Lafortune, Sanjit A. Seshia
2016	—	`conf`	On Optimal Control of Stochastic Linear Hybrid Systems. FORMATS Susmit Jha, Vasumathi Raman
2016	B	`conf`	On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks. FMCAD Susmit Jha, Vasumathi Raman, Sanjit A. Seshia
2016	—	`conf`	Slugs: Extensible GR(1) Synthesis. CAV (2) Rüdiger Ehlers, Vasumathi Raman
2016	J	`jnl`	The 2016 Formal Methods for Robotics Challenge [Competitions]. IEEE Robotics Autom. Mag. Vasumathi Raman
2015	—	`conf`	BluSTL: Controller Synthesis from Signal Temporal Logic Specifications. ARCH@CPSWeek Alexandre Donzé, Vasumathi Raman
2015	—	`conf`	Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems. ISRR (1) Jonathan A. DeCastro, Javier Alonso-Mora, Vasumathi Raman, Daniela Rus, Hadas Kress-Gazit
2015	A*	`conf`	Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning. ICRA Jonathan A. DeCastro, Vasumathi Raman, Hadas Kress-Gazit
2015	A	`conf`	Online horizon selection in receding horizon temporal logic planning. IROS Vasumathi Raman, Mattias Fält, Tichakorn Wongpiromsarn, Richard M. Murray
2015	J	`jnl`	Provably correct reactive control from natural language. Auton. Robots Constantine Lignos, Vasumathi Raman, Cameron Finucane, Mitchell P. Marcus, Hadas Kress-Gazit
2015	—	`conf`	Reactive synthesis from signal temporal logic specifications. HSCC Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray, Sanjit A. Seshia
2015	—	`conf`	Robust Model Predictive Control for Signal Temporal Logic Synthesis. ADHS Samira S. Farahani, Vasumathi Raman, Richard M. Murray
2015	J	`jnl`	Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control. IEEE Trans. Robotics Vasumathi Raman, Nir Piterman, Cameron Finucane, Hadas Kress-Gazit
2015	C	`conf`	Variable elimination for scalable receding horizon temporal logic planning. ACC Mattias Fält, Vasumathi Raman, Richard M. Murray
2014	—	`conf`	Distributed control of a swarm of buildings connected to a smart grid: demo abstract. BuildSys 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
2014	—	`conf`	Low-Effort Specification Debugging and Analysis. SYNT Rüdiger Ehlers, Vasumathi Raman
2014	—	`conf`	Model predictive control from signal temporal logic specifications: a case study. CyPhy Vasumathi Raman, Mehdi Maasoumy, Alexandre Donzé
2014	—	`conf`	Model predictive control with signal temporal logic specifications. CDC Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2014	A	`conf`	Reactive switching protocols for multi-robot high-level tasks. IROS Vasumathi Raman
2014	A*	`conf`	Synthesis for multi-robot controllers with interleaved motion. ICRA Vasumathi Raman, Hadas Kress-Gazit
2014	J	`jnl`	Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors. CoRR Vasumathi Raman, Hadas Kress-Gazit
2013	J	`jnl`	Explaining Impossible High-Level Robot Behaviors. IEEE Trans. Robotics Vasumathi Raman, Hadas Kress-Gazit
2013	—	`—`	Explaining Unsynthesizability of High-Level Robot Behaviors. Vasumathi Raman
2013	A*	`conf`	Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations. ICRA Vasumathi Raman, Nir Piterman, Hadas Kress-Gazit
2013	—	`conf`	Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language. Robotics: Science and Systems Vasumathi Raman, Constantine Lignos, Cameron Finucane, Kenton C. T. Lee, Mitchell P. Marcus, Hadas Kress-Gazit
2013	A	`conf`	Towards minimal explanations of unsynthesizability for high-level robot behaviors. IROS Vasumathi Raman, Hadas Kress-Gazit
2012	A*	`conf`	Automated feedback for unachievable high-level robot behaviors. ICRA Vasumathi Raman, Hadas Kress-Gazit
2012	A	`conf`	Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory. IROS Vasumathi Raman, Bingxin Xu, Hadas Kress-Gazit
2012	A*	`conf`	Correct high-level robot control from structured English. ICRA Gangyuan Jing, Cameron Finucane, Vasumathi Raman, Hadas Kress-Gazit
2012	A*	`conf`	Situation understanding bot through language and environment. HRI 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
2012	A	`conf`	Temporal logic robot mission planning for slow and fast actions. IROS Vasumathi Raman, Cameron Finucane, Hadas Kress-Gazit
2011	A*	`conf`	Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP. CAV Vasumathi Raman, Hadas Kress-Gazit
2009	B	`conf`	An epistemic characterization of zero knowledge. TARK Joseph Y. Halpern, Rafael Pass, Vasumathi Raman