Model predictive control from signal temporal logic specifications: A case study V Raman, M Maasoumy, A Donzé Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling …, 2014 | 502 | 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 | 346 | 2015 |
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 (1), 211-236, 2018 | 187 | 2018 |
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 | 144 | 2017 |
Slugs: Extensible GR(1) Synthesis R Ehlers, V Raman Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 129 | 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 | 96 | 2013 |
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, 801-824, 2018 | 85 | 2018 |
Safe autonomy under perception uncertainty using chance-constrained temporal logic S Jha, V Raman, D Sadigh, SA Seshia Journal of Automated Reasoning 60, 43-62, 2018 | 81 | 2018 |
Communicating reasons for vehicle actions K Kaushansky, JL Askeland, V Raman US Patent 10,372,130, 2019 | 78 | 2019 |
Trajectory prediction of third-party objects using temporal logic and tree search M Kobilarov, T Caldwell, V Raman, C Paxton US Patent 10,671,076, 2020 | 77 | 2020 |
Robust model predictive control for signal temporal logic synthesis SS Farahani, V Raman, RM Murray IFAC-PapersOnLine 48 (27), 323-328, 2015 | 70 | 2015 |
Explaining impossible high-level robot behaviors V Raman, H Kress-Gazit IEEE Transactions on Robotics 29 (1), 94-104, 2012 | 69 | 2012 |
Provably correct reactive control from natural language C Lignos, V Raman, C Finucane, M Marcus, H Kress-Gazit Autonomous Robots 38, 89-105, 2015 | 68 | 2015 |
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 | 60 | 2016 |
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: Volume 1, 459-476, 2018 | 57 | 2018 |
Synthesis of obfuscation policies to ensure privacy and utility YC Wu, V Raman, BC Rawlings, S Lafortune, SA Seshia Journal of Automated Reasoning 60, 107-131, 2018 | 56 | 2018 |
Analyzing unsynthesizable specifications for high-level robot behavior using LTLMoP V Raman, H Kress-Gazit Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 54 | 2011 |
Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications CI Vasile, V Raman, S Karaman 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017 | 45 | 2017 |
Trajectory generation using temporal logic and tree search M Kobilarov, T Caldwell, V Raman, C Paxton, JMP Kiiski, JL Askeland, ... US Patent 10,691,127, 2020 | 43 | 2020 |
Trajectory generation using temporal logic and tree search M Kobilarov, T Caldwell, V Raman, C Paxton, JMP Kiiski, JL Askeland, ... US Patent 10,133,275, 2018 | 42 | 2018 |