Следене
Vasumathi Raman
Vasumathi Raman
Няма данни за членство
Потвърден имейл адрес: cds.caltech.edu - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
5022014
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
3462015
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
1872018
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
1442017
Slugs: Extensible GR(1) Synthesis
R Ehlers, V Raman
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
1292016
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
962013
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
852018
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
812018
Communicating reasons for vehicle actions
K Kaushansky, JL Askeland, V Raman
US Patent 10,372,130, 2019
782019
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
772020
Robust model predictive control for signal temporal logic synthesis
SS Farahani, V Raman, RM Murray
IFAC-PapersOnLine 48 (27), 323-328, 2015
702015
Explaining impossible high-level robot behaviors
V Raman, H Kress-Gazit
IEEE Transactions on Robotics 29 (1), 94-104, 2012
692012
Provably correct reactive control from natural language
C Lignos, V Raman, C Finucane, M Marcus, H Kress-Gazit
Autonomous Robots 38, 89-105, 2015
682015
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
602016
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
572018
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
562018
Analyzing unsynthesizable specifications for high-level robot behavior using LTLMoP
V Raman, H Kress-Gazit
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
542011
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
452017
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
432020
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
422018
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20