An epistemic characterization of zero knowledge. - Joseph Y. Halpern; Rafael Pass; Vasumathi Raman (TARK, 2009)

Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP. - Vasumathi Raman; Hadas Kress-Gazit (CAV, 2011)

Situation understanding bot through language and environment. - 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 (HRI, 2012)

Correct high-level robot control from structured English. - Gangyuan Jing; Cameron Finucane; Vasumathi Raman; Hadas Kress-Gazit (ICRA, 2012)

Automated feedback for unachievable high-level robot behaviors. - Vasumathi Raman; Hadas Kress-Gazit (ICRA, 2012)

Temporal logic robot mission planning for slow and fast actions. - Vasumathi Raman; Cameron Finucane; Hadas Kress-Gazit (IROS, 2012)

Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory. - Vasumathi Raman; Bingxin Xu; Hadas Kress-Gazit (IROS, 2012)

Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations. - Vasumathi Raman; Nir Piterman; Hadas Kress-Gazit (ICRA, 2013)

Towards minimal explanations of unsynthesizability for high-level robot behaviors. - Vasumathi Raman; Hadas Kress-Gazit (IROS, 2013)

Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language. - Vasumathi Raman; Constantine Lignos; Cameron Finucane; Kenton C. T. Lee; Mitchell P. Marcus; Hadas Kress-Gazit (Robotics: Science and Systems, 2013)

Explaining Impossible High-Level Robot Behaviors. - Vasumathi Raman; Hadas Kress-Gazit (IEEE Trans. Robotics, 2013)

Explaining Unsynthesizability of High-Level Robot Behaviors. - Vasumathi Raman (2013)

Model predictive control with signal temporal logic specifications. - Vasumathi Raman; Alexandre Donzé; Mehdi Maasoumy; Richard M. Murray; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CDC, 2014)

Model predictive control from signal temporal logic specifications: a case study. - Vasumathi Raman; Mehdi Maasoumy; Alexandre Donzé (CyPhy, 2014)

Synthesis for multi-robot controllers with interleaved motion. - Vasumathi Raman; Hadas Kress-Gazit (ICRA, 2014)

Reactive switching protocols for multi-robot high-level tasks. - Vasumathi Raman (IROS, 2014)

Distributed control of a swarm of buildings connected to a smart grid: demo abstract. - 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 001; et al. (BuildSys, 2014)

Low-Effort Specification Debugging and Analysis. - Rüdiger Ehlers; Vasumathi Raman (SYNT, 2014)

Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors. - Vasumathi Raman; Hadas Kress-Gazit (CoRR, 2014)

Robust Model Predictive Control for Signal Temporal Logic Synthesis. - Samira S. Farahani; Vasumathi Raman; Richard M. Murray (ADHS, 2015)

Variable elimination for scalable receding horizon temporal logic planning. - Mattias Fält; Vasumathi Raman; Richard M. Murray (ACC, 2015)

BluSTL: Controller Synthesis from Signal Temporal Logic Specifications. - Alexandre Donzé; Vasumathi Raman (ARCH@CPSWeek, 2015)

Reactive synthesis from signal temporal logic specifications. - Vasumathi Raman; Alexandre Donzé; Dorsa Sadigh; Richard M. Murray; Sanjit A. Seshia (HSCC, 2015)

Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning. - Jonathan A. DeCastro; Vasumathi Raman; Hadas Kress-Gazit (ICRA, 2015)

Online horizon selection in receding horizon temporal logic planning. - Vasumathi Raman; Mattias Fält; Tichakorn Wongpiromsarn; Richard M. Murray (IROS, 2015)

Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems. - Jonathan A. DeCastro; Javier Alonso-Mora; Vasumathi Raman; Daniela Rus; Hadas Kress-Gazit (ISRR (1), 2015)

Provably correct reactive control from natural language. - Constantine Lignos; Vasumathi Raman; Cameron Finucane; Mitchell P. Marcus; Hadas Kress-Gazit (Auton. Robots, 2015)

Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control. - Vasumathi Raman; Nir Piterman; Cameron Finucane; Hadas Kress-Gazit (IEEE Trans. Robotics, 2015)

Slugs: Extensible GR(1) Synthesis. - Rüdiger Ehlers; Vasumathi Raman (CAV (2), 2016)

Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis. - Scott C. Livingston; Vasumathi Raman (ARCH@CPSWeek, 2016)

On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks. - Susmit Jha; Vasumathi Raman; Sanjit A. Seshia (FMCAD, 2016)

On Optimal Control of Stochastic Linear Hybrid Systems. - Susmit Jha; Vasumathi Raman (FORMATS, 2016)

Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. - Shromona Ghosh; Dorsa Sadigh; Pierluigi Nuzzo 002; Vasumathi Raman; Alexandre Donzé; Alberto L. Sangiovanni-Vincentelli; S. Shankar Sastry; Sanjit A. Seshia (HSCC, 2016)

Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty. - Susmit Jha; Vasumathi Raman (NFM, 2016)

Obfuscator Synthesis for Privacy and Utility. - Yi-Chin Wu; Vasumathi Raman; Stéphane Lafortune; Sanjit A. Seshia (NFM, 2016)

The 2016 Formal Methods for Robotics Challenge [Competitions]. - Vasumathi Raman (IEEE Robotics Autom. Mag., 2016)

Combining neural networks and tree search for task and motion planning in challenging environments. - Chris Paxton 001; Vasumathi Raman; Gregory D. Hager; Marin Kobilarov (IROS, 2017)

Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications. - Cristian Ioan Vasile; Vasumathi Raman; Sertac Karaman (IROS, 2017)

On Learning Sparse Boolean Formulae for Explaining AI Decisions. - Susmit Jha; Vasumathi Raman; Alessandro Pinto; Tuhin Sahai; Michael Francis (NFM, 2017)

Towards a socially responsible smart city: dynamic resource allocation for smarter community service. - Huey-Ru (Debbie) Tsai; Yasser Shoukry; Min Kyung Lee; Vasumathi Raman (BuildSys, 2017)

Model Predictive Control for Signal Temporal Logic Specification. - Vasumathi Raman; Alexandre Donzé; Mehdi Maasoumy; Richard M. Murray; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CoRR, 2017)

Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications. - Marcell Vazquez-Chanlatte; Shromona Ghosh; Vasumathi Raman; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CoRR, 2017)

Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games. - Marcell Vazquez-Chanlatte; Shromona Ghosh; Vasumathi Raman; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (ADHS, 2018)

Synthesis for Robots: Guarantees and Feedback for Robot Behavior. - Hadas Kress-Gazit; Morteza Lahijanian; Vasumathi Raman (Annu. Rev. Control. Robotics Auton. Syst., 2018)

Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles. - Javier Alonso-Mora; Jonathan A. DeCastro; Vasumathi Raman; Daniela Rus; Hadas Kress-Gazit (Auton. Robots, 2018)

Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic. - Susmit Jha; Vasumathi Raman; Dorsa Sadigh; Sanjit A. Seshia (J. Autom. Reason., 2018)

Synthesis of Obfuscation Policies to Ensure Privacy and Utility. - Yi-Chin Wu; Vasumathi Raman; Blake C. Rawlings; Stéphane Lafortune; Sanjit A. Seshia (J. Autom. Reason., 2018)

Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae. - Susmit Jha; Tuhin Sahai; Vasumathi Raman; Alessandro Pinto; Michael Francis (J. Autom. Reason., 2019)