Vasumathi Raman
发表
Susmit Jha,
T. Sahai,
Vasumathi Raman,
2018,
Journal of Automated Reasoning.
Mitchell P. Marcus,
M. Marcus,
Constantine Lignos,
2014,
Autonomous Robots.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Vasumathi Raman,
2017,
ArXiv.
Alberto L. Sangiovanni-Vincentelli,
S. Shankar Sastry,
Sanjit A. Seshia,
2016,
HSCC.
Sanjit A. Seshia,
Vasumathi Raman,
Richard M. Murray,
2015,
HSCC.
Vasumathi Raman,
Eric M. Wolff,
Vasumathi Raman,
2015,
AAAI 2015.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Vasumathi Raman,
2014,
53rd IEEE Conference on Decision and Control.
Vasumathi Raman,
Joseph Y. Halpern,
Rafael Pass,
2009,
TARK '09.
Gregory D. Hager,
Vasumathi Raman,
Marin Kobilarov,
2017,
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Susmit Jha,
Vasumathi Raman,
Susmit Jha,
2016,
FORMATS.
Susmit Jha,
Vasumathi Raman,
Susmit Jha,
2016,
NFM.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Vasumathi Raman,
2018,
ADHS.
Alberto L. Sangiovanni-Vincentelli,
Sanjit A. Seshia,
Vasumathi Raman,
2017,
ArXiv.
Hadas Kress-Gazit,
Vasumathi Raman,
H. Kress-Gazit,
2013,
IEEE Transactions on Robotics.
Hadas Kress-Gazit,
Vasumathi Raman,
Morteza Lahijanian,
2018,
Annu. Rev. Control. Robotics Auton. Syst..
Hadas Kress-Gazit,
Vasumathi Raman,
Javier Alonso-Mora,
2017,
Auton. Robots.
Vasumathi Raman,
Rüdiger Ehlers,
Rüdiger Ehlers,
2016,
CAV.
Hadas Kress-Gazit,
Vasumathi Raman,
Javier Alonso-Mora,
2015,
ISRR.
Vasumathi Raman,
Sertac Karaman,
Cristian Ioan Vasile,
2017,
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Vasumathi Raman,
Richard M. Murray,
Samira S. Farahani,
2015,
ADHS.
Hadas Kress-Gazit,
Vasumathi Raman,
Mitchell P. Marcus,
2013,
Robotics: Science and Systems.
Sanjit A. Seshia,
Vasumathi Raman,
Stéphane Lafortune,
2016,
NFM.
Sanjit A. Seshia,
Vasumathi Raman,
Stéphane Lafortune,
2017,
Journal of Automated Reasoning.
Hadas Kress-Gazit,
Vasumathi Raman,
H. Kress-Gazit,
2011,
CAV.
S. Seshia,
Dorsa Sadigh,
Susmit Jha,
2017,
Journal of Automated Reasoning.
Hadas Kress-Gazit,
Vasumathi Raman,
Mitchell P. Marcus,
2015,
Auton. Robots.
S. Seshia,
Mehdi Maasoumy,
Vasumathi Raman,
2014,
53rd IEEE Conference on Decision and Control.
Hadas Kress-Gazit,
Vasumathi Raman,
H. Kress-Gazit,
2012,
2012 IEEE International Conference on Robotics and Automation.
Sanjit A. Seshia,
Susmit Jha,
Vasumathi Raman,
2017,
Journal of Automated Reasoning.