| 2017 | IROS | Combining neural networks and tree search for task and motion planning in challenging environments. | Chris Paxton, Vasumathi Raman, Gregory D. Hager, Marin Kobilarov |
| 2017 | IROS | Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications. | Cristian Ioan Vasile, Vasumathi Raman, Sertac Karaman |
| 2017 | SENSYS | Towards a socially responsible smart city: dynamic resource allocation for smarter community service. | Huey-Ru (Debbie) Tsai, Yasser Shoukry, Min Kyung Lee, Vasumathi Raman |
| 2016 | CAV | Slugs: Extensible GR(1) Synthesis. | Rdiger Ehlers, Vasumathi Raman |
| 2016 | FMCAD | On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks. | Susmit Jha, Vasumathi Raman, Sanjit A. Seshia |
| 2015 | ICRA | Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning. | Jonathan A. DeCastro, Vasumathi Raman, Hadas Kress-Gazit |
| 2015 | IROS | Online horizon selection in receding horizon temporal logic planning. | Vasumathi Raman, Mattias Flt, Tichakorn Wongpiromsarn, Richard M. Murray |
| 2015 | ISRR | Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems. | Jonathan A. DeCastro, Javier Alonso-Mora, Vasumathi Raman, Daniela Rus, Hadas Kress-Gazit |
| 2014 | ICRA | Synthesis for multi-robot controllers with interleaved motion. | Vasumathi Raman, Hadas Kress-Gazit |
| 2014 | IROS | Reactive switching protocols for multi-robot high-level tasks. | Vasumathi Raman |
| 2014 | SENSYS | 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, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh |
| 2013 | ICRA | Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations. | Vasumathi Raman, Nir Piterman, Hadas Kress-Gazit |
| 2013 | IROS | Towards minimal explanations of unsynthesizability for high-level robot behaviors. | Vasumathi Raman, Hadas Kress-Gazit |
| 2012 | HRI | 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 |
| 2012 | ICRA | Correct high-level robot control from structured English. | Gangyuan Jing, Cameron Finucane, Vasumathi Raman, Hadas Kress-Gazit |
| 2012 | ICRA | Automated feedback for unachievable high-level robot behaviors. | Vasumathi Raman, Hadas Kress-Gazit |
| 2012 | IROS | Temporal logic robot mission planning for slow and fast actions. | Vasumathi Raman, Cameron Finucane, Hadas Kress-Gazit |
| 2012 | IROS | Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory. | Vasumathi Raman, Bingxin Xu, Hadas Kress-Gazit |
| 2011 | CAV | Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP. | Vasumathi Raman, Hadas Kress-Gazit |
| 2009 | TARK | An epistemic characterization of zero knowledge. | Joseph Y. Halpern, Rafael Pass, Vasumathi Raman |