| Model predictive control with signal temporal logic specifications V Raman, A Donzé, M Maasoumy, RM Murray, A Sangiovanni-Vincentelli, ... 53rd IEEE Conference on Decision and Control, 81-87, 2014 | 287 | 2014 |
| Reactive synthesis from signal temporal logic specifications V Raman, A Donzé, D Sadigh, RM Murray, SA Seshia Proceedings of the 18th international conference on hybrid systems …, 2015 | 245 | 2015 |
| Combining neural networks and tree search for task and motion planning in challenging environments C Paxton, V Raman, GD Hager, M Kobilarov 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017 | 100 | 2017 |
| Synthesis for robots: Guarantees and feedback for robot behavior H Kress-Gazit, M Lahijanian, V Raman Annual Review of Control, Robotics, and Autonomous Systems 1, 211-236, 2018 | 90 | 2018 |
| Slugs: Extensible gr (1) synthesis R Ehlers, V Raman International Conference on Computer Aided Verification, 333-339, 2016 | 87 | 2016 |
| Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language. V Raman, C Lignos, C Finucane, KCT Lee, MP Marcus, H Kress-Gazit Robotics: Science and Systems 2 (1), 2.1, 2013 | 72 | 2013 |
| Provably correct reactive control from natural language C Lignos, V Raman, C Finucane, M Marcus, H Kress-Gazit Autonomous Robots 38 (1), 89-105, 2015 | 57 | 2015 |
| Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles J Alonso-Mora, JA DeCastro, V Raman, D Rus, H Kress-Gazit Autonomous Robots 42 (4), 801-824, 2018 | 52 | 2018 |
| Analyzing unsynthesizable specifications for high-level robot behavior using LTLMoP V Raman, H Kress-Gazit International Conference on Computer Aided Verification, 663-668, 2011 | 49 | 2011 |
| Collision-free reactive mission and motion planning for multi-robot systems JA DeCastro, J Alonso-Mora, V Raman, D Rus, H Kress-Gazit Robotics research, 459-476, 2018 | 48 | 2018 |
| Explaining impossible high-level robot behaviors V Raman, H Kress-Gazit IEEE Transactions on Robotics 29 (1), 94-104, 2012 | 47 | 2012 |
| Safe autonomy under perception uncertainty using chance-constrained temporal logic S Jha, V Raman, D Sadigh, SA Seshia Journal of Automated Reasoning 60 (1), 43-62, 2018 | 45 | 2018 |
| Diagnosis and repair for synthesis from signal temporal logic specifications S Ghosh, D Sadigh, P Nuzzo, V Raman, A Donzé, ... Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 45 | 2016 |
| Robust model predictive control for signal temporal logic synthesis SS Farahani, V Raman, RM Murray IFAC-PapersOnLine 48 (27), 323-328, 2015 | 45 | 2015 |
| Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations V Raman, N Piterman, H Kress-Gazit 2013 IEEE International Conference on Robotics and Automation, 4075-4081, 2013 | 34 | 2013 |
| Make it so: Continuous, flexible natural language interaction with an autonomous robot DJ Brooks, C Lignos, C Finucane, MS Medvedev, I Perera, V Raman, ... Workshops at the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012 | 32 | 2012 |
| Synthesis of obfuscation policies to ensure privacy and utility YC Wu, V Raman, BC Rawlings, S Lafortune, SA Seshia Journal of Automated Reasoning 60 (1), 107-131, 2018 | 31 | 2018 |
| Synthesis for multi-robot controllers with interleaved motion V Raman, H Kress-Gazit 2014 IEEE international conference on robotics and automation (ICRA), 4316-4321, 2014 | 29 | 2014 |
| Automated feedback for unachievable high-level robot behaviors V Raman, H Kress-Gazit 2012 IEEE International Conference on Robotics and Automation, 5156-5162, 2012 | 26 | 2012 |
| Towards minimal explanations of unsynthesizability for high-level robot behaviors V Raman, H Kress-Gazit 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2013 | 25 | 2013 |
