Vasumathi Raman
Vasumathi Raman
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei cds.caltech.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2322014
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
2022015
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
802017
Slugs: Extensible gr (1) synthesis
R Ehlers, V Raman
International Conference on Computer Aided Verification, 333-339, 2016
722016
Synthesis for robots: Guarantees and feedback for robot behavior
H Kress-Gazit, M Lahijanian, V Raman
Annual Review of Control, Robotics, and Autonomous Systems, 2018
642018
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
642013
Analyzing unsynthesizable specifications for high-level robot behavior using LTLMoP
V Raman, H Kress-Gazit
International Conference on Computer Aided Verification, 663-668, 2011
512011
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
502015
Explaining impossible high-level robot behaviors
V Raman, H Kress-Gazit
IEEE Transactions on Robotics 29 (1), 94-104, 2012
422012
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
392016
Robust model predictive control for signal temporal logic synthesis
SS Farahani, V Raman, RM Murray
IFAC-PapersOnLine 48 (27), 323-328, 2015
392015
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
372018
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
342018
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
342013
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
312012
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
292018
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
272014
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
252018
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications.
A Donzé, V Raman, G Frehse, M Althoff
ARCH@ CPSWeek 34, 160-8, 2015
242015
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
242013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20